Concise Guide to Software Verification: From Model Checking to Annotation Checking - Couverture souple

Livre 79 sur 83: Texts in Computer Science

Huisman, Marieke; Wijs, Anton

 
9783031301698: Concise Guide to Software Verification: From Model Checking to Annotation Checking
Couverture souple
ISBN 10 : 3031301692 ISBN 13 : 9783031301698
Editeur : Springer, 2024

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

Marieke Huisman is Professor at the Faculty of Electrical Engineering, Mathematics and Computer Science of the University of Twente, The Netherlands, and Anton Wijs is Assistant Professor at the Department of Mathematics and Computer Science of the Eindhoven University of Technology, The Netherlands.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2024
Langue
anglais
ISBN 10 
3031301692
ISBN 13 
9783031301698
Reliure
Broché
Nombre de pages
260
Coordonnées du fabricant
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne

Autres éditions populaires du même titre

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

Edition présentée

ISBN 10 :  3031301668 ISBN 13 :  9783031301667
Editeur : Springer International Publishin..., 2023
Couverture rigide