@inproceedings{22ffd5c151924e1db5c9696bea7d7c14,
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",
}