Login / Signup
On Verification of Communicating Finite State Machines Using Residual Languages.
El maati Chabbar
Mohamed Bouhdadi
Published in:
Asia International Conference on Modelling and Simulation (2007)
Keyphrases
</>
finite state machines
model checking
finite state automata
formal verification
temporal logic
verification method
expressive power
regular languages
language independent
regular expressions
language identification
keywords
co occurrence
communication channels
face verification