Design and Evaluation of a Symbolic and Abstraction-Based Model Checker.

Serge Haddad, Jean-Michel Ili, Kais Klai

Browse the full ATVA paper archive.