UPPAAL

UPPAAL 4.0.6

UPPAAL on integroitu työkalu mallintamisessa, validointiin ja tarkastuksiin reaaliaikaisia ​​järjestelmiä mallinnetaan verkkojen ajastettu automaatti, laajennetaan tietotyyppejä (rajoittaa kokonaislukuja, paneelit, jne.).UPPAAL CORA on haara UPPAAL for...