워터스 - 반응 시스템 내 이벤트에 대한 와이카토 분석 도구. 이 소프트웨어를 사용하면 사용자가 그래픽 사용자 인터페이스에서 유한 상태 컴퓨터 모델을 만들고, 실행을 시뮬레이션하고, 모델 검사 알고리즘을 적용할 수 있습니다.
버전 기록
- 버전 N/A 에 게시 2011-08-12
몇 가지 수정 및 업데이트 - 버전 N/A 에 게시 2011-08-12
프로그램 세부 정보
- 범주: 개발 > 다른
- 게시자: waters.sf.net
- 라이센스: 무료
- 가격: N/A
- 버전: Array
- 플랫폼: windows