Formalizing Hoare Logic in PVS.

Natarajan Shankar

Published in: SETSS (2017)

Keyphrases

modal logic
classical logic
multi valued
predicate logic
logic programming
knowledge base
case study
formal verification
automated reasoning
theorem prover
asynchronous circuits
formal theory
probabilistic logic
theorem proving
database
temporal logic
expert systems
high level
genetic algorithm
real world