Theorem proving in higher order logics: 13th international conference, tphols 2000 portland, or, usa, august 14-18, 2000 proceedings
Auteur :
Aagaard, Mark
ISBN :
9783540678632
Date de publication :
27 juil. 2000
Dimensions :
23,3 x 15,5 x 2,8 cm
Poids :
765 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The papers cover aspects of HOL theorem proving, formal verification of hardware and software systems, and formal verification. Among the HOL theorem provers evaluated are COQ, HOL, Isabelle, HOL/SPIN, PVS, and Isabelle/HOL.