Crux는 복잡하고 안전이 중요한 코드를 검증하는 데 효과적인 기법인 구성적 기호 시뮬레이션을 사용자 친화적인 인터페이스로 제공하여 Rust 및 기타 언어로 작성된 소프트웨어의 안전성과 신뢰성을 향상시키는 것을 목표로 합니다.
임박한 소프트웨어의 형식적 검증과 완전성 임계값에 초점
