Incremental Verification of Owicki/Gries Proof Outlines Using PVS.
Arjan J. MooijWieger WesselinkPublished in: ICFEM (2005)
Keyphrases
- formal verification
- theorem proving
- model checking
- theorem prover
- formal proof
- incremental learning
- extended abstract
- timed automata
- bayesian networks
- information retrieval
- automated theorem proving
- temporal logic
- incremental version
- database
- concurrent systems
- artificial intelligence
- face verification
- databases
- real time
- evolutionary algorithm
- incremental clustering
- efficient incremental
- inference rules
- computer vision
- first order logic
- data driven