Strength-Based Decomposition of the Property Bchi Automaton for Faster Model Checking.

Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud

Browse the full TACAS paper archive.