Sciweavers

IGPL
2006

Adaptive Model Checking

14 years 13 days ago
Adaptive Model Checking
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the result of modeling errors or recent modifications of the system. Despite such discrepancies we can still attempt to perform automatic verification. In fact, as we show, we can sometimes exploit the verification results to assist in automatically learning the required updates to the model. In a related previous work, we have suggested the idea of black box checking, where verification starts without any model, and the model is obtained while repeated verification attempts are performed. Under the current assumptions, an existing inaccurate (but not completely obsolete) model is used to expedite the updates. We use techniques from black box testing and machine learning. We present an implementation of the proposed methodology called AMC (for Adaptive Model Checking). We discuss some experimental results, comparing ...
Alex Groce, Doron Peled, Mihalis Yannakakis
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where IGPL
Authors Alex Groce, Doron Peled, Mihalis Yannakakis
Comments (0)