LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Research » Software » MoVe

ITS-Tools : Instantiable Transition System Tools

Team : 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.

Software leader : Yann THIERRY-MIEG
 Mentions légales
Site map |