Login / Signup
Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models.
Sucheendra K. Palaniappan
Benjamin M. Gyori
Bing Liu
David Hsu
P. S. Thiagarajan
Published in:
CMSB (2013)
Keyphrases
</>
model checking
temporal logic
finite state machines
reactive systems
formal verification
temporal properties
petri net
finite state
dynamic analysis
timed automata
automated verification
partial order reduction
artificial intelligence
formal specification
linear temporal logic