Save 40% on select Business & Management books + FREE shipping or 50% on Physics eBooks!

Theoretical Computer Science and General Issues

Interactive Theorem Proving

9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Editors: Avigad, Jeremy, Mahboubi, Assia (Eds.)

Free Preview

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-319-94821-8
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.99
price for USA in USD
  • ISBN 978-3-319-94820-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.

The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions.  The papers feature research in the area of logical frameworks and interactive proof assistants. The topics include theoretical foundations and implementation aspects of the technology, as well as applications to verifying hardware and software systems to ensure their safety and security, and applications to the formal verication of mathematical results.

Chapters 2, 10, 26, 29, 30 and 37 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Table of contents (38 chapters)

Table of contents (38 chapters)
  • Physical Addressing on Real Hardware in Isabelle/HOL

    Pages 1-19

    Achermann, Reto (et al.)

  • Towards Certified Meta-Programming with Typed Template-Coq

    Pages 20-39

    Anand, Abhishek (et al.)

  • Formalizing Ring Theory in PVS

    Pages 40-47

    Avelar da Silva, Andréia B. (et al.)

  • Software Tool Support for Modular Reasoning in Modal Logics of Actions

    Pages 48-67

    Balco, Samuel (et al.)

  • Backwards and Forwards with Separation Logic

    Pages 68-87

    Bannister, Callum (et al.)

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-319-94821-8
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.99
price for USA in USD
  • ISBN 978-3-319-94820-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Interactive Theorem Proving
Book Subtitle
9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Editors
  • Jeremy Avigad
  • Assia Mahboubi
Series Title
Theoretical Computer Science and General Issues
Series Volume
10895
Copyright
2018
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-319-94821-8
DOI
10.1007/978-3-319-94821-8
Softcover ISBN
978-3-319-94820-1
Edition Number
1
Number of Pages
XVII, 642
Number of Illustrations
103 b/w illustrations
Topics