2 options
Proof technology and computation / edited by Helmut Schwichtenberg and Katharina Spies.
- Format:
- Book
- Conference/Event
- Author/Creator:
- NATO Advanced Study Institute on Proof Technology and Computation, Corporate Author.
- Conference Name:
- NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany)
- NATO Advanced Study Institute on Proof Technology and Computation
- Series:
- NATO science series. Computer and systems sciences ; Series III, v. 200.
- NATO science series. Series III, Computer and systems sciences, 1387-6694 ; v. 200
- Language:
- English
- Subjects (All):
- Automatic theorem proving--Congresses.
- Automatic theorem proving.
- Computer programming--Congresses.
- Computer programming.
- Computer software--Development--Congresses.
- Computer software.
- Physical Description:
- 1 online resource (456 p.)
- Edition:
- 1st ed.
- Place of Publication:
- Amsterdam ; Washington, DC : IOS Press, c2006.
- Language Note:
- English
- Summary:
- Software engineers have integrated proof processing into industrial development tools, and these implementations are now getting very efficient. The chapters deal with: The benefits and technical challenges of sharing formal mathematics among interactive theorem provers; proof normalization for various axiomatic theories; abstraction-refinement framework of temporal logic model checking; formal verification in industrial hardware design; readable machine-checked proofs and semantics and more.
- Contents:
- Title page; Preface; Contents; Information-Intensive Proof Technology; Introduction to Proof Theory; The Abstraction-Refinement Framework in Model Checking; Verification: Industrial Applications; Selected Topics on Computability, Complexity, and Termination; Jinja: Towards a Comprehensive Formal Semantics for a Java-like Language; The Formulae-as-Classes Interpretation of Constructive Set Theory; Constructive Analysis with Witnesses; Predicates as Types; Automata- and Logic-Based Systems Design; Recursions and Proofs; Author Index
- Notes:
- "Proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July-10 August 2003"--T.p. verso.
- "Published in cooperation with NATO Public Diplomacy Division."
- Includes bibliographical references and index.
- ISBN:
- 661054767X
- 1-280-54767-7
- 9786610547678
- 1-4237-9755-8
- 1-60750-180-5
- 600-00-0528-8
- 1-60129-484-0
- OCLC:
- 567966437
- Publisher Number:
- 9781586036256
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.