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 |