효율적인 기호 도구 패키지(EST)는 동시 시스템의 공식적인 검증을 위한 BDD 기반 도구입니다. 그 장점은 유연성, 휴대성 및 효율적인 메모리 관리입니다. 그것은 다른 운영 에서 실행, 리눅스와 윈도우를 포함 하 여 2000/XP.
버전 기록
- 버전 N/A 에 게시 2006-10-09
몇 가지 수정 및 업데이트 - 버전 N/A 에 게시 2006-10-09
프로그램 세부 정보
- 범주: 통신 > 다른
- 게시자: est.sf.net
- 라이센스: 무료
- 가격: N/A
- 버전: Array
- 플랫폼: windows