공식 2.0: 동적 모델의 검증 및 제어를 위한 공식 인증서 합성

Fossil 2.0은 동적 모델의 다양한 속성(안정성, 안전성, 도달-회피, 도달-유지-회피 등)을 검증하고 제어기를 합성할 수 있는 강력한 도구이다.