Proof technology and computation

Proof technology will become an established field in software engineering. It generally aims at integrating proof processing into industrial design and verifications tools. The origins of this technology lie in the systematic understanding of a fully-fledged, precise notion of proof by mathematics a...

Full description

Saved in:
Bibliographic Details
Main Authors: Schwichtenberg, Helmut, Spies, Katharina
Format: eBook Book
Language:English
Published: Amsterdam ; Tokyo IOS Press 2006
Sage Publications Ltd
Edition:1
Subjects:
Automatic theorem proving
Computer programming
Computer software
Congresses
Development
ISBN:1586036254, 9781586036256
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of 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