Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking.
Lubos BrimMilan CeskaSven DrazanDavid SafránekPublished 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