Data-abstraction refinement: a game semantic approach

A Dimovski, Dan Ghica, R Lazic, C Hankin, I Siveroni

Research output: Contribution to journalArticlepeer-review

21 Citations (Scopus)


This paper presents a semantic framework for data abstraction and refinement for verifying safety properties of open programs. The presentation is focused on an Algol-like programming language that incorporates data abstraction in its syntax. The fully abstract game semantics of the language is used for model-checking safety properties, and an interaction-sequence-based semantics is used for interpreting potentially spurious counterexamples and computing refined abstractions for the next iteration.
Original languageEnglish
Pages (from-to)102-117
Number of pages16
JournalLecture Notes in Computer Science
Publication statusPublished - 1 Jan 2005
EventStatic Analysis: 12th International Symposium (SAS 2005) -
Duration: 1 Jan 2005 → …


Dive into the research topics of 'Data-abstraction refinement: a game semantic approach'. Together they form a unique fingerprint.

Cite this