Model checking

...

Author: Edmund M. Clarke Jr. | Orna Grumberg | Doron A. Peled

76 downloads 1431 Views 3MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

DOWNLOAD DJVU

Model checking

Model Checking

Principles of Model Checking

Principles of Model Checking

Principles of Model Checking

Principles of Model Checking

Model Checking Software

Model Checking Software

Principles of Model Checking

Principles of Model Checking

25 Years of Model Checking

25 Years of Model Checking

Model-Checking Based Data Retrieval

Model-Checking Based Data Retrieval

Model Checking Software, 12 conf

Model Checking Software, 12 conf

Model Checking Software, 15 conf

Model Checking Software, 15 conf

Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking

Model Checking and Artificial Intelligence - MoChArt 2010

Model Checking and Artificial Intelligence - MoChArt 2010

Model Checking of Software, 9 conf

Model Checking of Software, 9 conf

Verification, Model Checking, and Abstract Interpretation, 4 conf., VMCAI 2003

Verification, Model Checking, and Abstract Interpretation, 4 conf., VMCAI 2003

Model Checking. Верификация параллельных и распределенных программных систем

Model Checking. Верификация параллельных и распределенных программных систем

Model Checking Software (Lecture Notes in Computer Science, 6823)

Model Checking Software (Lecture Notes in Computer Science, 6823)

Verification, Model Checking, and Abstract Interpretation, 7 conf., VMCAI 2006

Verification, Model Checking, and Abstract Interpretation, 7 conf., VMCAI 2006

Verification, Model Checking, and Abstract Interpretation, 10 conf., VMCAI 2009

Verification, Model Checking, and Abstract Interpretation, 10 conf., VMCAI 2009

Verification, Model Checking, and Abstract Interpretation, 3 conf., VMCAI 2002

Verification, Model Checking, and Abstract Interpretation, 3 conf., VMCAI 2002

Verification, Model Checking, and Abstract Interpretation, 8 conf., VMCAI 2007

Verification, Model Checking, and Abstract Interpretation, 8 conf., VMCAI 2007

Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation

Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation

Verification, Model Checking, and Abstract Interpretation, 5 conf., VMCAI 2004

Verification, Model Checking, and Abstract Interpretation, 5 conf., VMCAI 2004

Verification, Model Checking, and Abstract Interpretation, 9 conf., VMCAI 2008

Verification, Model Checking, and Abstract Interpretation, 9 conf., VMCAI 2008

Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools

Checking Iran's Nuclear Ambitions

Checking Iran's Nuclear Ambitions

Checking Out Audrey

Checking Out Audrey

Model selection and model averaging

Model selection and model averaging

Model selection and model averaging

Model selection and model averaging

Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings

Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings

Our partners will collect data and use cookies for ad personalization and measurement. Learn how we and our ad partner Google, collect and use data. Agree & close