ITS-Tools : Instantiable Transition System Tools
https://lip6.github.io/ITSTools-web/

科研组 : MoVe

ITS-tools is an easy to use and powerful award-winning model-checker supporting Safety, CTL and LTL properties for a variety of formalisms. It formally proves system correctness using exhaustive state space exploration.

软件负责人 : Yann THIERRY-MIEG
https://lip6.github.io/ITSTools-web/
Mentions légales
网站导航