NewsEntry (2017/01/19)
From LRDE
| Title | Spot 2.3 was released |
|---|---|
| Sub-Title | This new release features some exciting news such as: faster emptiness checks for automata that are not explored on-the-fly, several improvements to the SAT-based minimization procedure, preliminary support for alternating automata, membership tests for all classes of the Manna and Pnueli hierarchy of temporal properties. |
| Date | 2017/01/19 |