A General-Purpose CRN-to-DSD Compiler with Formal Verification, Optimization, and Simulation Capabilities.
Stefan BadeltSeung Woo ShinRobert F. JohnsonQing DongChris ThachukErik WinfreePublished in: DNA (2017)
Keyphrases
- general purpose
- formal verification
- model checking
- programming language
- special purpose
- symbolic model checking
- domain specific
- model checker
- optimization problems
- tightly coupled
- metabolic engineering
- automated verification
- bounded model checking
- global optimization
- simulation model
- temporal logic
- computational power
- application specific
- highly optimized
- optimization method
- mathematical model
- software systems
- genetic algorithm