트리플 A(Automata를 통한 자동 분석)는 두 가지 강력한 분석 도구(LTL 모델 검사 및 프레스버거 산술 처리)와 그 주위에 구축된 그래픽 사용자 인터페이스를 갖춘 Java에서 작성된 (유한) 오토마타용 완전 추천 라이브러리입니다.
버전 기록
- 버전 1_2_5_5 에 게시 2011-04-18
몇 가지 수정 및 업데이트 - 버전 1.4.1 에 게시 2007-05-13
프로그램 세부 정보
- 범주: 개발 > 다른
- 게시자: triple-a.sf.net
- 라이센스: 무료
- 가격: N/A
- 버전: 1.4.1
- 플랫폼: windows