Analyzer Component Framework 0.1

라이센스: 무료 ‎파일 크기: N/A
‎사용자 평가: 3.7/5 - ‎3 ‎투표

에 대해 Analyzer Component Framework

ACF는 모델 체커 작성. ACF는 대부분의 구조가 근본적인 관찰을 기반으로 합니다. 모델 검사 알고리즘은 설명하는 데 사용되는 형식주의와 무관합니다. 시스템.