Reasoning about Partial Correctness Assertions in Isabelle/HOL.

Alfio Ricardo de Brito Martini

Published in: RITA (2020)

Keyphrases

theorem prover
natural deduction
inference rules
theorem proving
first order logic
higher order logic
knowledge base
database
real time
databases
spatial reasoning
logical framework
formal theory