Runtime Verification for Biochemical Programs.
Oana AndreiHélène KirchnerPublished in: Electron. Notes Theor. Comput. Sci. (2013)
Keyphrases
- symbolic execution
- experimental data
- model checking
- hardware designs
- computer programs
- neural network
- formal methods
- formal verification
- java bytecode
- intermediate level
- distributed systems
- search engine
- control flow
- static analysis
- test generation
- automatic programming
- java programs
- control structures
- provably correct
- multiscale
- runtime environment
- machine learning