Owicki/Gries in Isabelle/HOL.

Tobias Nipkow Leonor Prensa Nieto

Published in: FASE (1999)

Keyphrases

theorem prover
natural deduction
theorem proving
inference rules
higher order logic
first order logic
sequent calculus
cut elimination
data mining
case study
knowledge representation
object oriented
simulated annealing
logical framework