Filter

Model Checking

30 books found

Model checking
Model checking

by Edmund M. Clarke Jr., Orna Grumberg

1999 5 ed.
Computation Engineering:
Computation Engineering:

by Ganesh Gopalakrishnan

2006 3 ed.
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation

by Kedar S. Namjoshi, Andreas Podelski

2005 3 ed.
Verification, model checking, and abstract interpretation
Verification, model checking, and abstract interpretation

by VMCAI 2004 (2004 Venice, Italy)

2004 2 ed.
Abstraction, reformulation, and approximation
Abstraction, reformulation, and approximation

by Sven Koenig, Robert C. Holte

2002 2 ed.
Formal approaches to software testing
Formal approaches to software testing

by Carsten Weise

2006 2 ed.
Correct hardware design and verification methods
Correct hardware design and verification methods

by CHARME 2003 (2001 L'Aquila, Italy)

2003 2 ed.
Quality of software architectures and software quality
Quality of software architectures and software quality

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

2005 2 ed.
Formal methods
Formal methods

by Keijiro Araki

2003 1 ed.
Model Checking and Artificial Intelligence
Model Checking and Artificial Intelligence

by MoChArt 2008 (2008 Patrai, Greece)

2009 1 ed.
Hardware and software
Hardware and software

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

2009 1 ed.
Testing Software and Systems
Testing Software and Systems

by Alexandre Petrenko

2010 1 ed.
Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems

by Joël Ouaknine

2009 1 ed.
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems

by Darren Cofer

2009 1 ed.
Formal Methods Foundations and Applications Lecture Notes in Computer Science
Formal Methods Foundations and Applications ...

by Jim Woodcock

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

by Huibiao Zhu

2010 1 ed.
Testing Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 Proceedings
Testing Software And Systems 23rd Ifip Wg 61 International C...

by Burkhart Wolff

2011 1 ed.
Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings
Automated Technology For Verification And Analysis 7th Inter...

by Zhiming Liu

2009 1 ed.
Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings
Model Checking Software 16th International Spin Workshop Gre...

by Corina S. Pasareanu

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

by Ana Cavalcanti

2010 1 ed.