Formal methods for the synthesis of biomolecular circuits (NII Shonan Meeting 157).
François FagesKatsumi InoueHeinz KoepplChris MyersYoshihiro ShimizuPublished in: NII Shonan Meet. Rep. (2019)
Keyphrases
- formal methods
- logic synthesis
- analog circuits
- formal analysis
- model checking
- knowledge based systems
- model checker
- formal specification
- safety critical
- provably correct
- artificial intelligence
- temporal properties
- process algebra
- high speed
- logic circuits
- software engineering
- simulation data
- reactive systems
- temporal logic
- low cost
- digital circuits
- circuit design
- modeling language
- quantum computing
- development lifecycle