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

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