Cover Image

Model checking /

Show other versions (1)

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.

Bibliographic Details
Main Author:	Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020 (Author)
Format:	Book
Language:	English
Published:	Cambridge, Massachusetts : MIT Press, [2018]
Edition:	Second edition.
Series:	Cyber-physical systems series.
Subjects:	Computer systems > Verification.

Similar Items

25 years of model checking : history, achievements, perspectives /
Published: (2008)

Unfoldings : a partial-order approach to model checking /
by: Esparza, Javier
Published: (2008)

Model checking quantum systems : principles and algorithms /
by: Ying, Mingsheng, et al.
Published: (2021)

Model checking /
by: Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020
Published: (1999)

Formal system verification : state-of the-art and future trends /
Published: (2018)

Verification and control of hybrid systems : a symbolic approach /
by: Tabuada, Paulo
Published: (2009)

Scalable techniques for formal verification /
by: Ray, Sandip
Published: (2010)

Principles of model checking /
by: Baier, Christel
Published: (2008)

Model checking and artificial intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers /
Published: (2009)

Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings /
Published: (2006)

Systems and software verification : model-checking techniques and tools /
Published: (2001)

Verification, model checking, and abstract interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011, proceedings /
Published: (2011)

Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings /
Published: (2005)

Model checking software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 : proceedings /
Published: (2009)

Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings /
Published: (2007)

Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings /
Published: (2011)

Abstraction refinement for large scale model checking /
by: Wang, Chao
Published: (2006)

Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers /
Published: (2007)

Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings /
Published: (2006)

Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers /
Published: (2002)

Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers /
Published: (2002)

Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings /
Published: (2003)

Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings /
Published: (2005)

Model checking and artificial intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised selected and invited papers /
Published: (2011)

Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings /
Published: (2006)

Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /
Published: (2007)

Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings /
Published: (2005)

Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /
Published: (2007)

Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings /
Published: (2010)

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings /
Published: (2004)

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings /
Published: (2008)

Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings /
Published: (2009)

Model checking software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings /
Published: (2010)

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings /
Published: (2003)

Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings /
Published: (2006)

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Published: (2001)

Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings /
Published: (2004)

Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings /
Published: (2002)

Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings /
Published: (2006)

Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings /
Published: (2005)