Proof assistance for real-time systems using an interactive theorem prover.
Paul Z. KolanoPublished in: Theor. Comput. Sci. (2002)
Keyphrases
- theorem prover
- real time systems
- computer algebra systems
- theorem proving
- automated theorem proving
- computer algebra
- formal proof
- inference rules
- real time
- first order logic
- timed automata
- distributed systems
- proof search
- term rewriting
- natural deduction
- higher order logic
- proof planning
- mathematical knowledge
- embedded systems
- timing constraints
- real time database systems
- object oriented programming language
- boolean algebra
- anytime algorithms
- mission critical
- probability distribution
- multi agent
- training data