Program Verification using HOL-UNITY.

Flemming Andersen Kim Dam Petersen Jimmi S. Pettersson

Published in: HUG (1993)

Keyphrases

theorem prover
formal methods
natural deduction
higher order logic
theorem proving
higher order
machine learning
data mining
software engineering
inference rules
reinforcement learning
similarity measure
artificial intelligence
relational databases
general purpose
data structure
case study