Werezi Books
Cart 0
Concise Guide to Software Verification
Click to zoom

Share this book

Concise Guide to Software Verification : From Model Checking to Annotation Checking

2023 ed.

by Anton Wijs , Marieke Huisman

Book Details

Format Hardback or Cased Book
Book Series Texts in Computer Science
ISBN-10 3031301668
ISBN-13 9783031301667
Edition 2023 ed.
Publisher Springer International Publishing AG
Imprint Springer International Publishing AG
Country of Manufacture GB
Country of Publication GB
Publication Date Jul 25th, 2023
Print length 248 Pages
Product Classification: Number theory Software testing & verification
Werezi Extended Catalogue Delivery in 28 days

Delivery Location

Delivery fee: Select location

Delivery in 28 days

Secure
Quality
Fast
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 checkingProvides numerous examples to demonstrate the techniquesFocuses on how techniques can be used (and the main ideas behind how they work), as opposed to how they are implementedExplainsstrengths and weaknesses of the techniques, providing insight into when to use which technique in practiceThis 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.

Get Concise Guide to Software Verification by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has pages.

Mind, Body, & Spirit

The Mamba Mentality

The Mamba Mentality

Price

Ksh 12,600.00

Shopping Cart

Africa largest book store

Sub Total:
Ebooks

Digital Library
Coming Soon

Our digital collection is currently being curated to ensure the best possible reading experience on Werezi. We'll be launching our Ebooks platform shortly.