Login / Signup
On Conditions for Defining a Closed Cover to Verify Progress for Communicating Finite State Machines.
Anthony Chung
Deepinder P. Sidhu
Published in:
IEEE Trans. Software Eng. (1989)
Keyphrases
</>
finite state machines
model checking
sufficient conditions
finite state automata
verification method
temporal logic
regular expressions
environmental conditions
hidden markov models
data sets
high level
query language