Sciweavers

ICFEM
2009
Springer

The VSE Refinement Method in Hets

13 years 10 months ago
The VSE Refinement Method in Hets
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done via introducing the dynamic logic underlying VSE and two logic translations in the logic graph of HETS. Thus the logic-independent layers of HETS are not modified and its proof management formalism can be applied to VSE specifications.
Mihai Codescu, Bruno Langenstein, Christian Maeder
Added 19 Feb 2011
Updated 19 Feb 2011
Type Journal
Year 2009
Where ICFEM
Authors Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski
Comments (0)