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 |
| 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 |