A Comparison of PVS and Isabelle/HOL.

W. O. David Griffioen Marieke Huisman

Published in: TPHOLs (1998)

Keyphrases

theorem prover
theorem proving
natural deduction
first order logic
timed automata
inference rules
artificial neural networks
real time
data sets
machine learning
artificial intelligence
data structure
higher order logic