CSL Model Checking of Biochemical Networks with Interval Decision Diagrams.
Martin SchwarickMonika HeinerPublished in: CMSB (2009)
Keyphrases
- model checking
- biochemical networks
- decision diagrams
- binary decision diagrams
- temporal logic
- systems biology
- multi valued
- formal verification
- finite state machines
- efficient computation
- verification method
- markov decision processes
- cell cycle
- digital circuits
- planning problems
- data sets
- compressed data
- constraint satisfaction problems
- database systems
- data mining