Advertisement

Search Results

Showing results for "Model Checking"

Principles of Model Checking (Mit Press)

Principles of Model Checking (Mit Press)

Christel Baier
Model Checking

Model Checking

Edmund M. Clarke Jr.
Handbook of Model Checking

Handbook of Model Checking

Edmund M. Clarke Jr.
Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools

B. Berard
Tokyo Fashion Wiki English Edition: Categorized in 30 different fashions 150 amateur models You can check every kind of fashion in Tokyo

Tokyo Fashion Wiki English Edition: Categorized in 30 different fashions 150 amateur models You can check every kind of fashion in Tokyo

SJP Editorial Team
Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)

Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)

Javier Esparza
Building Information Modeling: Automated Code Checking and Compliance Processes

Building Information Modeling: Automated Code Checking and Compliance Processes

Nawari O Nawari
Methode Formelle: Automate Fini, Pi-Calcul, Communicating Sequential Processes, Reseau de Petri, Methode B, Transducteur a Etats Finis, Model Checking, Notation Z, Automate Sur Les Mots Infinis, Modele, Java Modeling Language

Methode Formelle: Automate Fini, Pi-Calcul, Communicating Sequential Processes, Reseau de Petri, Methode B, Transducteur a Etats Finis, Model Checking, Notation Z, Automate Sur Les Mots Infinis, Modele, Java Modeling Language

Source Wikipedia
Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)

Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)

Chao Wang
Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Marieke Huisman
By Edmund M. Clarke - Model Checking: 1st (first) Edition

By Edmund M. Clarke - Model Checking: 1st (first) Edition

Orna Grumberg Edmund M. Clarke
Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Byron Cook
25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science, 5000)

25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science, 5000)

Orna Grumberg
Symbolic Model Checking

Symbolic Model Checking

Kenneth L. McMillan
Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (Theoretical Computer Science and General Issues)

Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (Theoretical Computer Science and General Issues)

Alfons Laarman
Verification of Communication Protocols in Web Services: Model-Checking Service Compositions (Wiley Series on Parallel and Distributed Computing Book 83)

Verification of Communication Protocols in Web Services: Model-Checking Service Compositions (Wiley Series on Parallel and Distributed Computing Book 83)

Kazi Sakib
Model Checking Software

Model Checking Software

Patrice Godefroid
2010 November Elections Watch - Browser Homepage - All Kindle models -One click: Check polls, issues, analysts plus Amazon help right in your Kindle's Browser

2010 November Elections Watch - Browser Homepage - All Kindle models -One click: Check polls, issues, analysts plus Amazon help right in your Kindle's Browser

Don Ursem
Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data (Lecture Notes in Computer Science, 2917)

Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data (Lecture Notes in Computer Science, 2917)

Elisa Quintarelli