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|