Formal Verification for Natural and Engineered Biological Systems.
Hillel KuglerPublished in: FMCAD (2020)
Keyphrases
- biological systems
- formal verification
- artificial systems
- model checking
- complex systems
- biologically inspired
- systems biology
- model checker
- engineering problems
- biological networks
- symbolic model checking
- bounded model checking
- living systems
- neural dynamics
- complex biological systems
- biological processes
- computational models
- automated verification
- metabolic pathways
- living organisms
- collective intelligence
- regulatory networks
- video sequences
- artificial agents
- biological knowledge