Login / Signup
An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata.
Mohammad Izadi
Ali Movaghar-Rahimabadi
Published in:
Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
</>
verification method
model checking
objective function
sufficient conditions