Items related to Concise Guide to Software Verification: From Model...
Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science) - Hardcover
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.
"synopsis" may belong to another edition of this title.
About the Author
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.
From the Back Cover
Ever since the beginnings of the development of software, researchers have been thinking about how to guarantee its correctness. Formal methods are techniques that can be used to improve software reliability and robustness.
This concise volume 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
- Explains strengths 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.
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.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Concise Guide to Software Verification: From Model...
Stock Image
Concise Guide to Software Verification From Model Checking to Annotation Checking
Published by
Springer International Publishing AG, 2023
ISBN 10: 3031301668
ISBN 13: 9783031301667
New
Hardcover
Seller: TextbookRush, Grandview Heights, OH, U.S.A.
Seller rating 4 out of 5 stars
Condition: Brand New. Ships SAME or NEXT business day. We Ship to APO/FPO addr. Choose EXPEDITED shipping and receive in 2-5 business days within the United States. See our member profile for customer support contact info. We have an easy return policy. Seller Inventory # 52497998
Quantity: 2 available
Stock Image
Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. 1st ed. 2023 edition NO-PA16APR2015-KAP. Seller Inventory # 26396297998
Quantity: 1 available
Stock Image
CONCISE GUIDE TO SOFTWARE VERIFICATION
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-261455
Quantity: 1 available
Stock Image
Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 401127633
Quantity: 1 available
Stock Image
Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 18396297988
Quantity: 1 available
Stock Image
Concise Guide to Software Verification: From Model Checking to Annotation Checking
Published by
Springer-Nature New York Inc, 2023
ISBN 10: 3031301668
ISBN 13: 9783031301667
New
Hardcover
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 257 pages. 9.25x6.10x0.71 inches. In Stock. Seller Inventory # __3031301668
Quantity: 1 available
Seller Image
Concise Guide to Software Verification
Published by
Springer International Publishing Jul 2023, 2023
ISBN 10: 3031301668
ISBN 13: 9783031301667
New
Hardcover
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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:Coversa broad spectrum of software verification techniques, from model checking to annotation checkingProvidesnumerous examples to demonstrate the techniquesFocuseson how techniques can be used (and the main ideas behind how they work), as opposed to how they are implementedExplains strengths 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. 260 pp. Englisch. Seller Inventory # 9783031301667
Quantity: 2 available
Seller Image
Concise Guide to Software Verification : From Model Checking to Annotation Checking
Published by
Springer International Publishing, 2023
ISBN 10: 3031301668
ISBN 13: 9783031301667
New
Hardcover
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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:Coversa broad spectrum of software verification techniques, from model checking to annotation checkingProvidesnumerous examples to demonstrate the techniquesFocuseson 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. Seller Inventory # 9783031301667
Quantity: 1 available
Seller Image
Concise Guide to Software Verification
Published by
Springer, Berlin|Springer International Publishing|Springer, 2023
ISBN 10: 3031301668
ISBN 13: 9783031301667
New
Hardcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. Seller Inventory # 829430260
Quantity: Over 20 available
Seller Image
Concise Guide to Software Verification
ISBN 10: 3031301668
ISBN 13: 9783031301667
New
Hardcover
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch. Seller Inventory # 9783031301667
Quantity: 2 available