정형 검증 (Formal Verification) 1. 개요 정형 검증(Formal Verification)이란 수학적 모델과 논리적 추론을 사용하여 소프트웨어나 하드웨어 시스템이 설계 명세(Specification)를 엄격하게 준수하는지를 증명하는 소프트웨어 공학 기법이다. 일반적인 소프트웨어 테스트(Testing)가 특정 입력값의 집합을 선택해 실행 결…
검색 결과
"비행 제어 소프트웨어"에 대한 검색 결과 (총 2개)
eVTOL 개요 eVTOL(electric Vertical Take-Off and Landing, 전기 수직 이착륙 항공기)는 전기를 동력원으로 사용하여 수직으로 이착륙 및 착륙이 가능한 항공기를 의미합니다. 도심 항공 모빌리티(Drone Air Mobility, UAM)의 핵심 기술로 주목받으며, 교통 체증 해소, 친환경 이동 수단 제공, 도심 간 고속 …