QED at Large: A Survey of Engineering of Formally Verified Software (Foundations and Trends® in Programming Languages) - Image 1

£111.24

Now Publishers QED at Large: A Survey of Engineering of Formally Verified Software (Foundations and Trends® in Programming Languages)

Name: QED at Large: A Survey of Engineering of Formally Verified Software (Foundations and Trends(R) in Programming Languages)
Brand: Now Publishers
Price: 72.37 GBP
Availability: InStock

Introduction to Programming

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 42 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £72 (22 days, 52.4%)

Price range: £72 - £129

Price levels: 3 different prices over 42 days

Description

Development of formal proofs of correctness of programs can increase actual and perceived reliability and facilitate better understanding of program specifications and their underlying assumptions. Tools supporting such development have been available for over 40 years but have only recently seen wide practical use. Projects based on construction of machine-checked formal proofs are now reaching an unprecedented scale, comparable to large software projects, which leads to new challenges in proof development and maintenance. Despite its increasing importance, the field of proof engineering is seldom considered in its own right; related theories, techniques, and tools span many fields and venues.QED at Large covers the timeline and research literature concerning proof development for program verification, including theories, languages, and tools. It emphasizes challenges and breakthroughs at each stage in history and highlights challenges that are currently present due to the increasing scale of proof developments.This monograph is intended for use by researchers and students who are new to the field. It provides the reader with an insightful overview of the work that has led to modern-day techniques for formally verifying software. In times of increasing automation, this underpins many software systems so future trends are also highlighted.

Product Specifications

Brand: Now Publishers
Format: paperback
ASIN: 1680835947
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 03 September 2019
Listed Since: 04 September 2019

Barcode

No barcode data available

Now Publishers QED at Large: A Survey of Engineering of Formally Verified Software (Foundations and Trends® in Programming Languages)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Software Quality Assurance: In Large Scale and Complex Software-intensive Systems

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

System Verification: Proving the Design Solution Satisfies the Requirements

Software Quality Engineering: Testing, Quality Assurance, and Quantifiable Improvement (IEEE Press)

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

What Every Engineer Should Know about Software Engineering

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)

Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)

Tools and Techniques for Software Development in Large Organizations: Emerging Research and Opportunities

Computation Engineering: Applied Automata Theory and Logic

Formal System Verification: State-of the-Art and Future Trends

Software Engineering: A Hands-On Approach

Shape Analysis (Foundations and Trends® in Programming Languages)

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Quality Software Through Reuse and Integration: 561 (Advances in Intelligent Systems and Computing, 561)

Writing Testbenches using SystemVerilog

Springer - Conquering Complexity Software Engineering Book

Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs

Delphi Quality-Driven Development: A practical guide to testing and writing testable code

Software-Entwicklung unter dem Aspekt der Qualitätssicherung

Real-Time Systems: Scheduling, Analysis, and Verification