Amc: An adaptive model checker

A. Groce, D. Peled, M. Yannakakis

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


The AMC (for adaptive model checking) system allows one to perform model checking directly on a system, even when its internal structure is unknown or invisible. It also allows one to perform model checking using an inaccurate model, incrementally improving the model each time that a false negative (i.e., not an actual) counterexample is found.
Original languageAmerican English
Title of host publicationInternational Conference on Computer Aided Verification
EditorsEd Brinksma, Kim Guldstrand Larsen
PublisherSpringer Berlin Heidelberg
StatePublished - 2002

Bibliographical note

Place of conference:Copenhagen, Denmark


Dive into the research topics of 'Amc: An adaptive model checker'. Together they form a unique fingerprint.

Cite this