Spot is an object-oriented model checking library written in C++. It offers a set of bricks to experiment with and develop your own model checker.
没有任何数据可供显示
