Towards a Duration Calculus Proof Assistant in PVS.
Jens Ulrik SkakkebækNatarajan ShankarPublished in: FTRTFT (1994)
Keyphrases
- theorem proving
- proof procedure
- automated theorem proving
- timed automata
- theorem prover
- proof search
- automated deduction
- natural deduction
- proof planning
- first order logic
- geometry theorem proving
- inference rules
- sequent calculus
- provably correct
- formal verification
- model checking
- linear logic
- computer algebra
- test bed
- real time
- web services
- xml schema
- case study
- cut elimination
- artificial intelligence
- databases