Automated verification of code automatically generated from Simulink®.
Colin O'HalloranPublished in: Autom. Softw. Eng. (2013)
Keyphrases
- automatically generated
- automated verification
- model checking
- code generator
- automated reasoning
- formal verification
- automatically generate
- manually created
- control system
- manually generated
- automatically created
- manually constructed
- temporal logic
- fault detection
- automatically generating
- control algorithm
- source code
- code generation
- theorem proving
- probabilistic reasoning
- theorem prover
- graph theory
- artificial intelligence