Keyphrases
- automated deduction
- formal methods
- theorem proving
- formal analysis
- artificial intelligence
- theorem prover
- formal specification
- safety critical
- inference rules
- process algebra
- provably correct
- model checking
- software engineering
- deductive databases
- knowledge based systems
- model checker
- logic programming
- development lifecycle
- first order logic
- temporal logic
- web services
- general purpose
- information systems
- reactive systems
- modeling language
- databases
- fault tolerant