Combining Refinement and Signal-Temporal Logic for Biological Systems.
Usman SanwalUmair SiddiquePublished in: CICM (2017)
Keyphrases
- temporal logic
- biological systems
- model checking
- modal logic
- satisfiability problem
- biologically inspired
- complex systems
- systems biology
- concurrent systems
- artificial systems
- linear temporal logic
- living systems
- computational models
- mazurkiewicz traces
- neural dynamics
- model checker
- belief revision
- computation tree logic
- verification method
- complex biological systems
- bounded model checking
- automata theoretic
- biologically inspired design
- neural mechanisms
- temporal knowledge
- metabolic pathways
- logic programs
- signal transduction
- natural world
- reactive systems
- knowledge representation
- computational model
- formal specification language
- software engineering