Concise Guide to Software Verification: From Model Checking to Annotation Checking - Brossura
Libro 78 di 82: Texts in Computer Science
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull?autore
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.
Dalla quarta di copertina
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Concise Guide to Software Verification: From Model...
Foto dell'editore
Concise Guide to Software Verification
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEOCT25-316203
Compra nuovo
EUR 62,22
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Concise Guide to Software Verification
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 260. Codice articolo 26403442568
Compra nuovo
EUR 59,20
Spedizione EUR 3,44
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Concise Guide to Software Verification
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 260. Codice articolo 18403442562
Compra nuovo
EUR 58,77
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)
Da: ALLBOOKS1, Direk, SA, Australia
Valutazione del venditore 5 su 5 stelle
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Codice articolo SHAK316203
Compra nuovo
EUR 70,52
Spedizione gratuita
Spedito da Australia a U.S.A.
Spedito da Australia a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Concise Guide to Software Verification
Editore:
Springer, Springer Nature Switzerland Jul 2024, 2024
ISBN 10: 3031301692
ISBN 13: 9783031301698
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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 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. 260 pp. Englisch. Codice articolo 9783031301698
Compra nuovo
EUR 64,19
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Concise Guide to Software Verification
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Codice articolo 1780998084
Compra nuovo
EUR 57,59
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Edizione Internazionale
Concise Guide to Software Verification
Edizione InternazionaleDa: UK BOOKS STORE, London, LONDO, Regno Unito
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-12 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability. Codice articolo Adh 9783031301698
Compra nuovo
EUR 111,04
Spedizione EUR 6,91
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 3 disponibili
Edizione Internazionale
CONCISE GUIDE TO SOFTWARE VERIFICATION FROM MODEL CHECKING TO ANNOTATION CHECKING (PB 2023)
Edizione InternazionaleDa: UK BOOKS STORE, London, LONDO, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-12 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability. Codice articolo CBS 9783031301698
Compra nuovo
EUR 111,83
Spedizione EUR 6,91
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Concise Guide to Software Verification
Editore:
Springer, Springer Jul 2024, 2024
ISBN 10: 3031301692
ISBN 13: 9783031301698
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. 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 KG, Sachsenplatz 4-6, 1201 Wien 260 pp. Englisch. Codice articolo 9783031301698
Compra nuovo
EUR 64,19
Spedizione EUR 60,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Concise Guide to Software Verification : From Model Checking to Annotation Checking
Editore:
Springer International Publishing, 2024
ISBN 10: 3031301692
ISBN 13: 9783031301698
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783031301698
Compra nuovo
EUR 64,19
Spedizione EUR 62,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili