NINJA: boolean modelling and formal verification of tiered-rate chemical reaction networks (extended abstract).
Aadithya V. KarthikDavid SoloveichikSayak RayBaruch SterinAlan MishchenkoRobert K. BraytonJaijeet RoychowdhuryPublished in: BCB (2014)
Keyphrases
- extended abstract
- formal verification
- chemical reaction
- model checking
- model checker
- automated verification
- bounded model checking
- real valued
- symbolic model checking
- social networks
- boolean functions
- boolean networks
- computer networks
- program slicing
- boolean queries
- community structure
- wireless networks
- orders of magnitude
- multi agent systems
- knowledge base