Model-Checking Signal Transduction Networks through Decreasing Reachability Sets.
Koen ClaessenJasmin FisherSamin IshtiaqNir PitermanQinsi WangPublished in: CAV (2013)
Keyphrases
- model checking
- temporal logic
- formal verification
- model checker
- formal specification
- temporal properties
- signal transduction
- automated verification
- symbolic model checking
- formal methods
- transition systems
- timed automata
- biological systems
- computation tree logic
- bounded model checking
- verification method
- social networks
- epistemic logic
- network analysis
- mathematical modeling
- network topology
- complex networks
- petri net
- complex systems
- software engineering