Amc: An adaptive model checker

A. Groce; D. Peled; M. Yannakakis

Amc: An adaptive model checker

A. Groce
, D. Peled
, M. Yannakakis

Department of Computer Science and Artificial Intelligence

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

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

Original language	American English
Title of host publication	International Conference on Computer Aided Verification
Editors	Ed Brinksma, Kim Guldstrand Larsen
Publisher	Springer Berlin Heidelberg
State	Published - 2002

Bibliographical note

Place of conference:Copenhagen, Denmark

Cite this

@inproceedings{abb37edc288d464c974b949d4b4acd28,

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

author = "A. Groce and D. Peled and M. Yannakakis",

note = "Place of conference:Copenhagen, Denmark",

year = "2002",

language = "American English",

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

booktitle = "International Conference on Computer Aided Verification",

publisher = "Springer Berlin Heidelberg",

}

TY - GEN

T1 - Amc: An adaptive model checker

AU - Groce, A.

AU - Peled, D.

AU - Yannakakis, M.

N1 - Place of conference:Copenhagen, Denmark

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

UR - http://link.springer.com/chapter/10.1007/3-540-45657-0_44

M3 - Conference contribution

BT - International Conference on Computer Aided Verification

A2 - Brinksma, Ed

A2 - Larsen, Kim Guldstrand

PB - Springer Berlin Heidelberg

ER -

Amc: An adaptive model checker

Abstract

Bibliographical note

Other files and links

Fingerprint

Cite this