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...
Uloženo v:
| Hlavní autoři: | , |
|---|---|
| Médium: | E-kniha Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Amsterdam ; Tokyo
IOS Press
2006
Sage Publications Ltd |
| Vydání: | 1 |
| Témata: | |
| ISBN: | 1586036254, 9781586036256 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Obsah:
- 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