ENGLISH

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

By Ricky Butler (auth.) , Victor A. Carreño , César A. Muñoz , Sofiène Tahar (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2002
ISBN
978-3-540-44039-0, 978-3-540-45685-8, 3-540-44039-9
DOI
10.1007/3-540-45685-6
Language
english
Format
PDF
Filesize
5 MB (5114531 bytes)
Series
Lecture Notes in Computer Science 2410
Edition
1
Pages
347\358
Time added
2014-01-18 08:00:00
Software Engineering; Logic Design

Description

This book constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2002, held in Hampton, VA, USA in August 2002. The 20 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 34 submissions. All current issues in HOL theorem proving and formal verification of software and hardware systems are addressed. Among the HOL theorem proving systems evaluated are Isabelle/HOL, Isabelle/Isar, and Coq.

Similar books

Session C11: Ancient Cultural Landscapes in South Europe – their Ecological Setting and Evolution, Session C22: Gardeners from South America, Session S04: Agro-Pastoralism and Early Metallurgy Sessions, Session WS29: The Idea of Enclosure in Recent Iberian Prehistory, Session C88: Rhytmes et causalites des dynamiques de l'anthropisation en Europe entre 6500 ET 500 BC: Hypotheses socio-culturelles et/ou climatiques: Proceedings of the XV UISPP World Congress (Lisbon 4-9 September 2006) / Actes du XV Congrès Mondial (Lisbonne 4-9 Septembre 2006) Vol.36

2010 · PDF