Spot is an object-oriented model checking library written in C++.

WWW: https://spot.lrde.epita.fr/index.html
