AMC: An adaptive model checker

Alex Groce, Doron Peled, Mihalis Yannakakis

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Scopus citations

Abstract

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 (US)
Title of host publicationComputer Aided Verification - 14th International Conference, CAV 2002, Proceedings
EditorsEd Brinksma, Kim Guldstrand Larsen
PublisherSpringer-Verlag
Pages521-525
Number of pages5
ISBN (Electronic)9783540439974
DOIs
StatePublished - 2002
Externally publishedYes
Event14th International Conference on Computer Aided Verification, CAV 2002 - Copenhagen, Denmark
Duration: Jul 27 2002Jul 31 2002

Publication series

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

Conference

Conference14th International Conference on Computer Aided Verification, CAV 2002
Country/TerritoryDenmark
CityCopenhagen
Period7/27/027/31/02

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

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

Cite this