ENGLISH

Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

By Lawrence C. Paulson (eds.) , Gerwin Klein (auth.) , Matt Kaufmann

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2010
ISBN
3642140513, 9783642140518
DOI
10.1007/978-3-642-14052-5
Language
english
Format
PDF
Filesize
5 MB (5455785 bytes)
Series
Lecture Notes in Computer Science 6172 : Theoretical Computer Science and General Issues
Edition
1
Pages
495\504
Topic
Computers
Time added
2011-06-04 13:46:07
CompilersInterpreters; Artificial Intelligence (incl. RobotLogics and Meanings of Programs; Software Engineer

Description

This book constitutes the refereed proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. The 33 revised full papers presented were carefully reviewed and selected from 74 submissions. The papers are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.

Similar books