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

£60.27

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

Name: Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)
Brand: Springer
Price: 60.27 GBP
Availability: InStock

Software Architecture

This is the usual price. Wait for it to drop, or tell us your number.

£60 today · usual range £0–£0 · best ever £40

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

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

Historical

Generating forecast...

Price Distribution

Price distribution over 616 days • 5 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £57-61 (369 days, 59.9%)

Price range: £40 - £61

Price levels: 5 price ranges over 616 days

Description

This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the user has some control over the properties that are being checked. More specifically, it shows a wide range of techniques covering the whole spectrum: from abstract system design to implementation, from bug finding to full proofs, and from techniques that are push-button by design and give a yes/no answer to techniques that require the user to provide explicit guidance to steer the analysis process. Topics and features: Covers a broad spectrum of software verification techniques, from model checking to annotation checking Provides numerous examples to demonstrate the techniques Focuses on how techniques can be used (and the main ideas behind how they work), as opposed to how they are implemented Explainsstrengths and weaknesses of the techniques, providing insight into when to use which technique in practice This unique textbook has been written primarily for master’s level students in computer science studying embedded systems and specializing in software technology. The book will also be of interest for students studying cyber security and data science technology, as well as for system or software developers interested in techniques that offer formal guarantees about software.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 3031301668
Category: Books > Subjects > Computing & Internet > Programming > Software Design, Testing & Engineering > Software Architecture
Domain: Amazon UK
Release Date: 25 July 2023
Listed Since: 03 March 2023

Barcode

No barcode data available

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

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Formalization of Complex Analysis and Matrix Theory

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)

System Verification: Proving the Design Solution Satisfies the Requirements

Verification, Validation and Testing in Software Engineering

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

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings: 5643 (Lecture Notes in Computer Science, 5643)

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings: 3114 (Lecture Notes in Computer Science, 3114)

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

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

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings: 2404 (Lecture Notes in Computer Science, 2404)

NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings: 11460 (Lecture Notes in Computer Science, 11460)

Embedded Software Verification and Debugging (Embedded Systems)

Systems and Software Verification: Model-Checking Techniques and Tools

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

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

Advanced Formal Verification

SystemVerilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 13360 (Lecture Notes in Computer Science, 13360)

Software Verification and Validation for Practitioners and Managers

Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings: 8174 (Lecture Notes in Computer Science, 8174)

Software-Qualität: Testen, Analysieren und Verifizieren von Software

Applied Formal Verification: For Digital Circuit Design (ELECTRONICS)

SVA: The Power of Assertions in SystemVerilog

A Roadmap for Formal Property Verification