Proof in V.D.M.: Case Studies (Formal Approaches to Computing and Information Technology (FACIT)) - Image 1

£64.66

Springer Proof in V.D.M.: Case Studies (Formal Approaches to Computing and Information Technology (FACIT))

Name: Proof in V.D.M.: Case Studies (Formal Approaches to Computing and Information Technology (FACIT))
Brand: Springer
Price: 63.65 GBP
Availability: InStock

Compilers

Price History & Forecast

Last 86 days • 86 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 86 days • 9 price levels

Days at Price

Current Price

Price Analysis

Most common price: £60 (20 days, 23.3%)

Price range: £47 - £65

Price levels: 9 different prices over 86 days

Description

This volume provides an invaluable companion to Proof in VDM: A Practitioner's Guide. Using the proof theory presented in that volume, it examines a variety of realistic case studies which illustrate different aspects of the use of proof in formal development. Rather than concentrating on the construction of formal specifications (like most work in this area), it devotes two chapters to validation using proof, describing how proofs in VDM can be constructed via instantiations of the PVS and Isabelle theorem provers. Proof in VDM: Case Studies will provide invaluable reference material for practitioners of formal methods who need to construct proofs, students requiring a detailed introduction to the practicalities of proof, and researchers interested in the role of theorem proving in formal development and relevant tool support.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3540761861
Category: Books > Subjects > Computing & Internet > Programming > Compilers
Domain: Amazon UK
Release Date: 01 January 1998
Listed Since: 16 December 2006

Barcode

No barcode data available

Springer Proof in V.D.M.: Case Studies (Formal Approaches to Computing and Information Technology (FACIT))

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised ... (Lecture Notes in Computer Science, 5902)

Understanding Mathematical Proof

Formal Hardware Verification: Methods and Systems in Comparison: 1287 (Lecture Notes in Computer Science, 1287)

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ... (Lecture Notes in Computer Science, 10712)

Principles of Functional Verification

Comprehensive Functional Verification: The Complete Industry Cycle (Systems on Silicon)

Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification

Practical Foundations of Mathematics: 59 (Cambridge Studies in Advanced Mathematics, Series Number 59)

Discrete Mathematics for Computer Science

An Introduction to Mathematical Reasoning: Numbers, Sets and Functions

Modern Formal Methods and Applications

Assertion-Based Design

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised ... (Lecture Notes in Computer Science, 6527)

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, ... (Lecture Notes in Computer Science, 3308)

Test Defect Prediction Model: Building a Prediction Model of Functional Test Defects for System Testing Using Six Sigma Methodology

Formal Methods, Informally: How to Write Programs That Work

Post-Silicon and Runtime Verification for Modern Processors

Modellbasierte prädiktive Regelung: Eine Einfuhrung Fur Ingenieure

SVA: The Power of Assertions in SystemVerilog

Proofs and Computations (Perspectives in Logic)

Proofreading and Editing in Student and Research Publication Contexts: International Perspectives (Routledge Research in Higher Education)

An Accompaniment to Higher Mathematics (Undergraduate Texts in Mathematics)

Computer Safety, Reliability, and Security: 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, Proceedings: 8153 (Lecture Notes in Computer Science, 8153)

Foundations of Information Technology in the Era of Network and Mobile Computing: IFIP 17th World Computer Congress ― TC1 Stream / 2nd IFIP ... Information and Communication Technology, 96)