ACF는 모델 체커 작성. ACF는 대부분의 구조가 근본적인 관찰을 기반으로 합니다. 모델 검사 알고리즘은 설명하는 데 사용되는 형식주의와 무관합니다. 시스템.
버전 기록
- 버전 0.1 에 게시 2000-03-21
몇 가지 수정 및 업데이트 - 버전 0.1 에 게시 2000-03-21
프로그램 세부 정보
- 범주: 교육 > 다른
- 게시자: aiken.cs.abo.fi/acf
- 라이센스: 무료
- 가격: N/A
- 버전: 0.1
- 플랫폼: linux
ACF는 모델 체커 작성. ACF는 대부분의 구조가 근본적인 관찰을 기반으로 합니다. 모델 검사 알고리즘은 설명하는 데 사용되는 형식주의와 무관합니다. 시스템.