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 › peer-review

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
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: 27 Jul 2002 → 31 Jul 2002

Publication series

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

Conference

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

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2002.

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

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{0d1722cc521543d1bf341395a2b872c0,

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 = "אנגלית",

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

address = "גרמניה",

}

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, 27/07/02. 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 › peer-review

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 - http://www.scopus.com/inward/record.url?scp=84937565752&partnerID=8YFLogxK

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

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

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84937565752

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 -

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

AMC: An adaptive model checker

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this