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: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
gebundene Ausgabe. Condizione: Gut. 190 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber und kann entsprechende Merkmale aufweisen (Rückenschild, Instituts-Stempel.). In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 430. Codice articolo 2223803
Compra usato
EUR 10,95
Spedizione EUR 12,95
Spedito da Germania a U.S.A.
Spedito da Germania a 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,11
Spedizione EUR 15,46
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,51
Spedizione EUR 6,92
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: Wonder Book, Frederick, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Good condition. A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains. Codice articolo V15B-06484
Compra usato
EUR 83,83
Spedizione gratuita
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: 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 108,84
Spedizione EUR 5,88
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: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020166659
Compra nuovo
EUR 146,43
Spedizione EUR 3,37
Spedito in U.S.A.
Spedito in 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 147,60
Spedizione EUR 2,23
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 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 147,70
Spedizione EUR 13,82
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 148,86
Spedizione EUR 17,30
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito 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 175,33
Spedizione EUR 3,37
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili