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