AMC: An adaptive model checker

Alex Groce, Doron Peled, Mihalis Yannakakis

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

11 Scopus citations


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 eacht ime that a false negative (i.e., not an actual) counterexample is found.

Original languageEnglish
Title of host publicationComputer Aided Verification - 14th International Conference, CAV 2002, Proceedings
EditorsEd Brinksma, Kim Guldstrand Larsen
PublisherSpringer Verlag
Number of pages5
ISBN (Electronic)9783540439974
StatePublished - 2002
Externally publishedYes
Event14th International Conference on Computer Aided Verification, CAV 2002 - Copenhagen, Denmark
Duration: 27 Jul 200231 Jul 2002

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference14th International Conference on Computer Aided Verification, CAV 2002

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2002.


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

Cite this