Sign in
Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement.
Sumit Kumar Jha
Christopher James Langmead
Published in:
Theor. Comput. Sci. (2011)
Keyphrases
</>
model checking
stochastic models
automated verification
temporal logic
bounded model checking
formal methods
formal verification
finite state
reactive systems
transition systems
data analysis
hidden markov models
distributed systems
formal specification
asynchronous circuits
temporal properties