Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem Proving.
Nicholas MooreMark LawfordPublished in: FormaliSE@ICSE (2017)
Keyphrases
- theorem proving
- static analysis
- safety critical
- embedded systems
- dynamic analysis
- first order logic
- source code
- low cost
- fault tolerant
- formal methods
- theorem prover
- agent architecture
- inference rules
- real time
- parallel search
- proof planning
- support systems
- consequence finding
- high level
- geometry theorem proving
- test suite
- adaptive systems
- regular expressions
- structured data
- intelligent agents
- data model