Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover.
Paul Z. KolanoPublished in: ARTS (1999)
Keyphrases
- theorem prover
- real time systems
- computer algebra systems
- theorem proving
- automated theorem proving
- distributed systems
- real time
- first order logic
- inference rules
- formal proof
- timed automata
- computer algebra
- term rewriting
- proof search
- higher order logic
- natural deduction
- embedded systems
- proof planning
- real time database systems
- timing constraints
- mission critical
- computational intelligence
- information processing
- low cost
- knowledge representation
- expert systems
- mathematical knowledge
- real time embedded
- case study