Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code.
Johann SchumannPublished in: TABLEAUX (2003)
Keyphrases
- safety critical
- automated theorem proving
- formal methods
- safety analysis
- theorem prover
- theorem proving
- fault tolerant
- nuclear power plant
- agent architecture
- answer set programming
- model checking
- embedded systems
- regulatory requirements
- source code
- support systems
- knowledge based systems
- artificial intelligence
- temporal logic
- classical logic
- software engineering
- data warehouse
- cooperative