Spot 1.1 released (2013-04-28)

From LRDE

Title Spot 1.1 released
Sub-Title

Spot is a model-checking library developed collaboratively by LRDE and LIP6. It provides algorithms and data structures to implement

Date

2013-04-28