Login / Signup
Concurrent software verification with states, events, and deadlocks.
Sagar Chaki
Edmund M. Clarke
Joël Ouaknine
Natasha Sharygina
Nishant Sinha
Published in:
Formal Aspects Comput. (2005)
Keyphrases
</>
event types
state transitions
event detection
temporal information
event sequences
neural network
learning algorithm
cooperative
spatio temporal
markov chain
temporal patterns
state transition
static analysis
initial state
abnormal events
events occurring