Bounded model checking of infinite state systems: exploiting the automata hierarchy.

Tobias Schle, Klaus Schneider

Browse the full MEMOCODE paper archive.