Formal Verification of Executable Complementation and Equivalence Checking for Bchi Automata.

Julian Brunner

Browse the full IFM paper archive.