Sciweavers

ENTCS
2008
125views more  ENTCS 2008»
13 years 11 months ago
Can Refinement be Automated?
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
Peter Höfner, Georg Struth