The VSE Refinement Method in Hets

Authors

  • Till Mossakowski DFKI GmbH Bremen
  • Mihai Codescu University of Erlangen-Nürnberg
  • Christian Maeder DFKI GmbH Bremen
  • Bruno Langenstein DFKI GmbH Saarbrücken

DOI:

https://doi.org/10.14279/tuj.eceasst.62.859

Abstract

We present the integration of the refinement method of the 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 proof management formalism provided by Hets can be applied for VSE specifications without modification of the logic independent layers of Hets.

Downloads

Published

2013-09-15

How to Cite

[1]
T. Mossakowski, M. Codescu, C. Maeder, and B. Langenstein, “The VSE Refinement Method in Hets”, eceasst, vol. 62, Sep. 2013.