Explore Books on
model checking

1-24 of 32 Books

Cover of Model checking by edmund m. clarke jr.,orna grumberg,doron a. peled

Model checking

By Edmund M. Clarke Jr.,Orna Grumberg,Doron A. Peled

Cover of Computation Engineering: by ganesh gopalakrishnan

Computation Engineering:

By Ganesh Gopalakrishnan

Cover of Verification, Model Checking, and Abstract Interpretation by kedar s. namjoshi,andreas podelski

Verification, Model Checking, and Abstract Interpretation

By Kedar S. Namjoshi,Andreas Podelski

Cover of Verification, model checking, and abstract interpretation by vmcai 2004 (2004 venice, italy)

Verification, model checking, and abstract interpretation

By VMCAI 2004 (2004 Venice, Italy)

Cover of Correct hardware design and verification methods by charme 2003 (2001 l'aquila, italy)

Correct hardware design and verification methods

By CHARME 2003 (2001 L'Aquila, Italy)

Cover of Formal approaches to software testing by carsten weise

Formal approaches to software testing

By Carsten Weise

Cover of Abstraction, reformulation, and approximation by sven koenig,robert c. holte

Abstraction, reformulation, and approximation

By Sven Koenig,Robert C. Holte

Cover of Quality of software architectures and software quality by international conference on the quality of software architectures (1st 2005 erfurt, germany)

Quality of software architectures and software quality

By International Conference on the Quality of Software Architectures (1st 2005 Erfurt, Germany)

Correct hardware design and verification methods

Correct hardware design and verification methods

By CHARME 2001 (2001 Livingston, Scotland)

Cover of Runtime verification by rv 2009 (2009 grenoble, france)

Runtime verification

By RV 2009 (2009 Grenoble, France)

Cover of Tests and proofs by tap 2010 (2010 málaga, spain)

Tests and proofs

By TAP 2010 (2010 Málaga, Spain)

Cover of Testing of software and communication systems by ifip tc6/wg6.1 international conference on testing of communicating systems (21st 2009 eindhoven, the netherlands)

Testing of software and communication systems

By IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (21st 2009 Eindhoven, The Netherlands)

Cover of Formal methods for industrial critical systems by international workshop on formal methods for industrial critical systems (15th 2010 antwerp, belgium)

Formal methods for industrial critical systems

By International Workshop on Formal Methods for Industrial Critical Systems (15th 2010 Antwerp, Belgium)

Cover of Tools and algorithms for the construction and analysis of systems by tacas 2010 (2010 paphos, cyprus)

Tools and algorithms for the construction and analysis of systems

By TACAS 2010 (2010 Paphos, Cyprus)

Cover of Model Checking and Artificial Intelligence by mochart 2008 (2008 patrai, greece)

Model Checking and Artificial Intelligence

By MoChArt 2008 (2008 Patrai, Greece)

Cover of Hardware and software by international haifa verification conference (4th 2008 haifa, israel)

Hardware and software

By International Haifa Verification Conference (4th 2008 Haifa, Israel)

Cover of Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings by huibiao zhu

Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings

By Huibiao Zhu

Cover of Theoretical Aspects of Computing - ICTAC 2009 by martin leucker

Theoretical Aspects of Computing - ICTAC 2009

By Martin Leucker

Cover of Formal Methods for Industrial Critical Systems by darren cofer

Formal Methods for Industrial Critical Systems

By Darren Cofer

Cover of 25 Years Of Model Checking History Achievements Perspectives by orna grumberg

25 Years Of Model Checking History Achievements Perspectives

By Orna Grumberg

Cover of Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings by ana cavalcanti

Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings

By Ana Cavalcanti

Cover of Testing Software and Systems by alexandre petrenko

Testing Software and Systems

By Alexandre Petrenko

Cover of Hardware and Software: Verification and Testing by kedar s. namjoshi

Hardware and Software: Verification and Testing

By Kedar S. Namjoshi

Cover of Formal Modeling and Analysis of Timed Systems by joël ouaknine

Formal Modeling and Analysis of Timed Systems

By Joël Ouaknine