การระดมทุน วันที่ 15 กันยายน 2024 – วันที่ 1 ตุลาคม 2024 เกี่ยวกับการระดมทุน

Principles of Model Checking

Main
Computers - Programming
Principles of Model Checking

Principles of Model Checking

Baier C., Katoen J.

0 / 0

คุณชอบหนังสือเล่มนี้มากแค่ไหน

คุณภาพของไฟล์เป็นอย่างไรบ้าง

ดาวน์โหลดหนังสือเพื่อประเมินคุณภาพของไฟล์

คุณภาพของไฟล์ที่คุณดาวน์โหลดมาเป็นอย่างไรบ้าง

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.

หมวดหมู่:

Computers - Programming

ปี:

2008

สำนักพิมพ์:

MIT

ภาษา:

english

จำนวนหน้า:

994

ISBN 10:

026202649X

ISBN 13:

9780262026499

ไฟล์:

PDF, 4.34 MB

IPFS:

,

english, 2008

อ่านออนไลน์

กำลังแปลงเป็น อยู่

การแปลงเป็น ล้มเหลว

คุณอาจสนใจ

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen — Principles of Model Checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled — Model checking

Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (eds.) — CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba — Reactive systems: modelling, specification and verification

Stéphane Demri, Valentin Goranko, Martin Lange — Temporal Logics in Computer Science: Finite-State Systems

Nicolas Navet, Stephan Merz — Modeling and Verification of Real-time Systems

Franck Cassez, Jean-François Raskin (eds.) — Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings

Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Ana Sokolova, Erik P. de Vink (auth.), Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (eds.) — Validation of Stochastic Systems: A Guide to Current Research

Paul Feautrier (auth.), Yassine Lakhnech, Sergio Yovine (eds.) — Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Gre

Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto (auth.), Vladimiro Sassone (eds.) — Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Dawson Engler (auth.), Martín Abadi, Luca de Alfaro (eds.) — CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Sundar Sarukkai, Sandeep Sen (eds.) — FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

Lothar Thiele (auth.), Paul Pettersson, Wang Yi (eds.) — Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings

Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee (auth.), Christel Baier, Holger Hermanns (eds.) — CONCUR 2006 – Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings

Simon N. Foley (auth.), Warren A. Hunt Jr., Fabio Somenzi (eds.) — Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings

Cinzia Bernardeschi, Nicoletta De Francesco (auth.), Agostino Cortesi (eds.) — Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers

Wan Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko (auth.), Luboš Brim, Mojmír Křetínský, Antonín Kučera, Petr Jančar (eds.) — CONCUR 2002 — Concurrency Theory: 13th International Conference Brno, Czech Republic, August 20–23, 2002 Proceedings

Natarajan Shankar (auth.), Catuscia Palamidessi (eds.) — CONCUR 2000 — Concurrency Theory: 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings

Randal E. Bryant (auth.), Pierre Wolper (eds.) — Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings

David L. Dill (auth.), Nicolas Halbwachs, Doron Peled (eds.) — Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

Fred B. Schneider (auth.), Luís Caires, Vasco T. Vasconcelos (eds.) — CONCUR 2007 – Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings

Joost-Pieter Katoen (auth.), Jean-François Raskin, P. S. Thiagarajan (eds.) — Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

Igor Walukiewicz (auth.), Roberto Amadio (eds.) — Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedi

Joël Ouaknine, James Worrell (auth.), Franck Cassez, Claude Jard (eds.) — Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (eds.) — CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

Parosh Aziz Abdulla (auth.), Joost-Pieter Katoen, Barbara König (eds.) — CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

คำที่ถูกค้นหาบ่อยที่สุด