SPOT: An Extensible Model Checking Library Using Transition-Based Generalized Bchi Automata.

Alexandre Duret-Lutz, Denis Poitrenaud

Browse the full MASCOTS paper archive.