Interactive Theorem Proving
4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
Editors: Blazy, Sandrine, Paulin-Mohring, Christine, Pichardie, David (Eds.)
Free Preview- Fast-track conference proceedings of ITP 2013
Buy this book
- About this book
-
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.
- Table of contents (38 chapters)
-
-
Applying Formal Methods in the Large
Pages 1-1
-
Automating Theorem Proving with SMT
Pages 2-16
-
Certifying Voting Protocols
Pages 17-17
-
Counterexample Generation Meets Interactive Theorem Proving: Current Results and Future Opportunities
Pages 18-18
-
Canonical Structures for the Working Coq User
Pages 19-34
-
Table of contents (38 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Interactive Theorem Proving
- Book Subtitle
- 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
- Editors
-
- Sandrine Blazy
- Christine Paulin-Mohring
- David Pichardie
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 7998
- Copyright
- 2013
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-39634-2
- DOI
- 10.1007/978-3-642-39634-2
- Softcover ISBN
- 978-3-642-39633-5
- Edition Number
- 1
- Number of Pages
- XII, 498
- Number of Illustrations
- 73 b/w illustrations
- Topics
