Sinossi
Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
1. Automata.- 2. Temporal Logic.- 3. Model Checking.- 4. Symbolic Model Checking.- 5. Timed Automata.- 6. Reachability Properties.- 7. Safety Properties.- 8. Liveness Properties.- 9. Deadlock-freeness.- 10. Fairness Properties.- 11. Abstraction Methods.- 12. SMV ― Symbolic Model Checking.- 13. SPIN ― Communicating Automata.- 14. DESIGN/CPN ― Coloured Petri Nets.- 15. UPPAAL ― Timed Systems.- 16. KRONOS ― Model Checking of Real-time Systems.- 17. HYTECH ― Linear Hybrid Systems.- Main Bibliography.
Product Description
Book by Berard B Bidoit M Finkel A Laroussinie F Petit A P
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 Systems and Software Verification: Model-Checking Techniques...
Immagini fornite dal venditore
Systems and Software Verification: Model-Checking Techniques and Tools
Da: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear. Codice articolo GWSVV.3540415238.G
Compra usato
EUR 8,85
Spedizione EUR 3,43
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Systems and Software Verification: Model-Checking Techniques and Tools
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:9783540415237. Codice articolo 9428000
Compra usato
EUR 12,04
Spedizione EUR 15,59
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Systems and Software Verification: Model-Checking Techniques and Tools
Da: PAPER CAVALIER UK, London, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: very good. Gently used. May include previous owner's signature or bookplate on the front endpaper, sticker on back and/or remainder mark on text block. Codice articolo 9783540415237-3
Compra usato
EUR 23,37
Spedizione EUR 6,88
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Systems and Software Verification: Model-Checking Techniques and Tools
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title! Codice articolo Q-3540415238
Compra nuovo
EUR 110,76
Spedizione EUR 5,98
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Systems and Software Verification: Model-Checking Techniques and Tools
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540415237_new
Compra nuovo
EUR 149,56
Spedizione EUR 13,74
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Systems and Software Verification : Model-Checking Techniques and Tools
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 915765-n
Compra nuovo
EUR 149,54
Spedizione EUR 17,20
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Systems and Software Verification : Model-Checking Techniques and Tools
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 915765-n
Compra nuovo
EUR 165,84
Spedizione EUR 2,27
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Systems and Software Verification
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. An introduction to software verificationModel checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not corr. Codice articolo 4889302
Compra nuovo
EUR 128,41
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Systems and Software Verification
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 212. Codice articolo 26302530
Compra nuovo
EUR 183,24
Spedizione EUR 3,43
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Systems and Software Verification
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 212. Codice articolo 18302536
Compra nuovo
EUR 190,83
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 4 disponibili