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