Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking.

Lubos Brim Milan Ceska Sven Drazan David Safránek

Published in: CAV (2013)

Keyphrases

model checking
parameter space
temporal logic
automated verification
finite state machines
formal verification
formal methods

asynchronous circuits
model checker
reactive systems
symbolic model checking
artifact centric
partial order reduction

temporal properties
verification method
finite state
bounded model checking
formal specification
alternating time temporal logic

pspace complete
high dimensional
concurrent systems
process algebra
timed automata
reachability analysis