Description |
1 online resource |
Series |
NATO science series. Series III, Computer and systems sciences, 1387-6694 ; v. 200 |
|
NATO science series. Series III, Computer and systems sciences ; v. 200. 1387-6694
|
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 |
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 |
Notes |
"Proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July-10 August 2003"--Title page verso |
|
"Published in cooperation with NATO Public Diplomacy Division." |
Bibliography |
Includes bibliographical references and index |
Notes |
English |
Subject |
Automatic theorem proving -- Congresses
|
|
Computer programming -- Congresses
|
|
Computer software -- Development -- Congresses
|
|
COMPUTERS -- Expert Systems.
|
|
Automatic theorem proving
|
|
Computer programming
|
|
Computer software -- Development
|
Genre/Form |
Conference papers and proceedings
|
Form |
Electronic book
|
Author |
Schwichtenberg, Helmut, 1942-
|
|
Spies, Katharina.
|
ISBN |
1423797558 |
|
9781423797555 |
|
1601294840 |
|
9781601294845 |
|
9781607501800 |
|
1607501805 |
|
661054767X |
|
1280547677 |
|
9781280547676 |
|
9786610547678 |
|
6000005288 |
|
9786000005283 |
|