로미오 모델 체커
Romeo Model Checker| 개발자 | LS2N |
|---|---|
| 초기 릴리즈 | 2001 |
| 안정된 릴리스 | 2.9.0 / 2022년 1월 ; 전( |
| 기입처 | tcl/tk에서의 C++ 및 GUI |
| 운영 체제 | 리눅스 Mac OS X Microsoft Windows |
| 이용가능기간: | 영어 |
| 유형 | 모델 체크 |
| 웹 사이트 | http://romeo.rts-software.org/ |
Roméo는 실시간 시스템의 모델링, 검증 및 검증을 위한 통합 도구 환경으로서,[2] 파라미터로 확장된 시간 Petri Nets 또는 스톱워치 Petri Nets로 모델링됩니다.
이 도구는 프랑스 낭트의 LS2N 연구실(CNRS, 낭트 대학)에서 Real-Time Systems 그룹에 의해 개발되었습니다.
레퍼런스
- ^ Gardey, G; Lime, D; Magnin, M; Roux, OH. "로메오: 시간 페트리망을 분석하는 도구입니다."제17회 컴퓨터 지원 검증 국제회의(CAV'05) 컴퓨터 과학 강의 노트 제3576권, 418-423쪽, 영국 스코틀랜드 에든버러, 2005년 7월.스프링거.
- ^ Lime, D; Roux, OH; Seidner, C; Traonouez, LM. "로미오: 스톱워치가 있는 페트리 네트의 파라메트릭 모델 체커"제15회 시스템 구축 및 분석을 위한 도구 및 알고리즘에 관한 국제회의(TACAS 2009), 컴퓨터 과학 강의 노트 제5505권, 영국 요크, 2009년 3월.스프링거.
외부 링크
