AMC: An adaptive model checker

Alex Groce; Doron Peled; Mihalis Yannakakis

doi:10.1007/3-540-45657-0_44

AMC: An adaptive model checker

Alex Groce
, Doron Peled
, Mihalis Yannakakis

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English (US)
Title of host publication	Computer Aided Verification - 14th International Conference, CAV 2002, Proceedings
Editors	Ed Brinksma, Kim Guldstrand Larsen
Publisher	Springer-Verlag
Pages	521-525
Number of pages	5
ISBN (Electronic)	9783540439974
DOIs	https://doi.org/10.1007/3-540-45657-0_44
State	Published - 2002
Externally published	Yes
Event	14th International Conference on Computer Aided Verification, CAV 2002 - Copenhagen, Denmark Duration: Jul 27 2002 → Jul 31 2002

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2404

Conference

Conference	14th International Conference on Computer Aided Verification, CAV 2002
Country/Territory	Denmark
City	Copenhagen
Period	7/27/02 → 7/31/02

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/3-540-45657-0_44

Cite this

Groce, A., Peled, D., & Yannakakis, M. (2002). AMC: An adaptive model checker. In E. Brinksma, & K. G. Larsen (Eds.), Computer Aided Verification - 14th International Conference, CAV 2002, Proceedings (pp. 521-525). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2404). Springer-Verlag. https://doi.org/10.1007/3-540-45657-0_44

AMC: An adaptive model checker. / Groce, Alex; Peled, Doron; Yannakakis, Mihalis.
Computer Aided Verification - 14th International Conference, CAV 2002, Proceedings. ed. / Ed Brinksma; Kim Guldstrand Larsen. Springer-Verlag, 2002. p. 521-525 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2404).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Groce, A, Peled, D & Yannakakis, M 2002, AMC: An adaptive model checker. in E Brinksma & KG Larsen (eds), Computer Aided Verification - 14th International Conference, CAV 2002, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2404, Springer-Verlag, pp. 521-525, 14th International Conference on Computer Aided Verification, CAV 2002, Copenhagen, Denmark, 7/27/02. https://doi.org/10.1007/3-540-45657-0_44

Groce A, Peled D, Yannakakis M. AMC: An adaptive model checker. In Brinksma E, Larsen KG, editors, Computer Aided Verification - 14th International Conference, CAV 2002, Proceedings. Springer-Verlag. 2002. p. 521-525. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-45657-0_44

Groce, Alex ; Peled, Doron ; Yannakakis, Mihalis. / AMC : An adaptive model checker. Computer Aided Verification - 14th International Conference, CAV 2002, Proceedings. editor / Ed Brinksma ; Kim Guldstrand Larsen. Springer-Verlag, 2002. pp. 521-525 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{150b152558654c7babf60a14d2e72cb3,

title = "AMC: An adaptive model checker",

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.",

author = "Alex Groce and Doron Peled and Mihalis Yannakakis",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2002.; 14th International Conference on Computer Aided Verification, CAV 2002 ; Conference date: 27-07-2002 Through 31-07-2002",

year = "2002",

doi = "10.1007/3-540-45657-0\_44",

language = "English (US)",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag",

pages = "521--525",

editor = "Ed Brinksma and Larsen, \{Kim Guldstrand\}",

booktitle = "Computer Aided Verification - 14th International Conference, CAV 2002, Proceedings",

}

TY - GEN

T1 - AMC

T2 - 14th International Conference on Computer Aided Verification, CAV 2002

AU - Groce, Alex

AU - Peled, Doron

AU - Yannakakis, Mihalis

PY - 2002

Y1 - 2002

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/84937565752

UR - https://www.scopus.com/pages/publications/84937565752#tab=citedBy

U2 - 10.1007/3-540-45657-0_44

DO - 10.1007/3-540-45657-0_44

M3 - Conference contribution

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 521

EP - 525

BT - Computer Aided Verification - 14th International Conference, CAV 2002, Proceedings

A2 - Brinksma, Ed

A2 - Larsen, Kim Guldstrand

PB - Springer-Verlag

Y2 - 27 July 2002 through 31 July 2002

ER -

AMC: An adaptive model checker

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this