Advertisement

Proof and System-Reliability

  • Helmut Schwichtenberg
  • Ralf Steinbrüggen

Part of the NATO Science Series book series (NAII, volume 62)

Table of contents

  1. Front Matter
    Pages i-xii
  2. G. Hamrin, V. Stoltenberg-Hansen
    Pages 1-20
  3. Samson Abramsky
    Pages 21-47
  4. G. Stefanescu
    Pages 49-78
  5. Frank Pfenning
    Pages 137-166
  6. Jean-Yves Girard
    Pages 167-211
  7. Robert L. Constable
    Pages 213-259
  8. George C. Necula
    Pages 261-288
  9. Orna Grumberg
    Pages 289-321
  10. Tobias Nipkow
    Pages 341-367
  11. G. E. Ostrin, S. S. Wainer
    Pages 369-397
  12. Helmut Schwichtenberg, Stephen J. Bellantoni
    Pages 399-415

About this book

Introduction

As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Experience has shown that confidence can only come from a more profound understanding of the issues, which in turn can come only if it is based on logically sound foundations.
This volume contains contributions from leading researchers in the critical disciplines of computing and information science, mathematics, logic, and complexity. All contributions are self-contained, aiming at comprehensibility as well as comprehensiveness. The volume also contains introductory hints to technical issues, concise surveys, introductions, and various fresh results and new perspectives.

Keywords

Isabelle code complexity computability information logic model checking network networks programming proof proof theory semantics

Editors and affiliations

  • Helmut Schwichtenberg
    • 1
  • Ralf Steinbrüggen
    • 2
  1. 1.Mathematisches InstitutLudwig-Maximilians-UniversitätMünchenGermany
  2. 2.Institut für InformatikTechnische UniversitätMünchenGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-94-010-0413-8
  • Copyright Information Kluwer Academic Publishers 2002
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4020-0608-1
  • Online ISBN 978-94-010-0413-8
  • Series Print ISSN 1568-2609
  • Buy this book on publisher's site
Industry Sectors
Telecommunications
Oil, Gas & Geosciences