Yices 소프트웨어는 오류를 자동으로 확인합니다
고급 SMT 솔버인 Yices는 복잡한 소프트웨어 및 하드웨어 시스템을 자동으로 검증합니다. 값비싼 오류를 방지하고 중요한 애플리케이션 개발을 가속화합니다.
SRI 인터내셔널이 개발한 고급 SMT 솔버인 Yices는 복잡한 소프트웨어와 하드웨어를 자동으로 검증합니다. 2006년에 출시되었습니다. 시스템 동작을 수학 공식으로 변환하여 버그를 찾습니다. 자동화된 추론을 사용하여 오류를 확인하고 신뢰성을 보장합니다. 이 과정은 중요한 애플리케이션에 필수적입니다. 수십억 달러의 손실을 초래할 수 있는 값비싼 실패를 방지합니다.
이 이야기에 더 많은 내용이 있어요 — 앱을 열어 계속 읽어 보세요.
앱에서 계속 읽기
단락 1개 더 · 그리고 3문제 퀴즈