Login / Signup
State/Event Software Verification for Branching-Time Specifications.
Sagar Chaki
Edmund M. Clarke
Orna Grumberg
Joël Ouaknine
Natasha Sharygina
Tayssir Touili
Helmut Veith
Published in:
IFM (2005)
Keyphrases
</>
state space
finite state machines
event detection
data sets
information retrieval
computer vision
database systems
artificial neural networks
hidden markov models