Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10895)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: ITP 2018.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
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.
Similar content being viewed by others
Keywords
- artificial intelligence
- automated reasoning
- code generation
- formal logic
- formal methods
- formal verifications
- graph theory
- Interactive proof systems
- isabelle/hol
- model checking
- problem solving
- program compilers
- programming languages
- semantics
- software engineering
- software evaluation
- specifications
- theorem provers
- theorem proving
- verification
Table of contents (38 papers)
Other volumes
-
Interactive Theorem Proving
Editors and Affiliations
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: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-94821-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2018
Softcover ISBN: 978-3-319-94820-1Published: 04 July 2018
eBook ISBN: 978-3-319-94821-8Published: 03 July 2018
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVII, 642
Number of Illustrations: 103 b/w illustrations
Topics: Mathematical Logic and Formal Languages, Software Engineering, Artificial Intelligence, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, System Performance and Evaluation