Doron Peled
-
Compositional Failure-based Equivalence of Constraint Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata