In recent work we have proposed abstract games, and an example algorithm for finding winning strategies of them, as an approach to verification problems - such as model-checking and equivalence checking - which permits both a variable level of abstraction and on-the-fly exploration. It was clear that this work had something in common with abstract interpretation. This paper, which describes work in progress, generalises and makes the connection explicit.
|Title of host publication||Proc. 2nd International Workshop on Verification, Model Checking and Abstract Interpretation, VMCAI'98|
|Publication status||Published - 1998|