| Publication type: |
Article in Proceedings |
| Author: |
Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski |
| Editor: |
K. Breitman, A. Cavalcanti |
| Title: |
The VSE Refinement Method in HETS |
| Book / Collection title: |
ICFEM 2009 |
| Volume: |
5885 |
| Page(s): |
660 – 678 |
| Series: |
Lecture Notes in Computer Science |
| Year published: |
2009 |
| Publisher: |
Springer |
| Abstract: |
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. |
| Internet: |
http://dx.doi.org/10.1007/978-3-642-10373-5_34 |
| PDF Version: |
http://www.informatik.uni-bremen.de/~till/papers/hetsvse.pdf |
| Keywords: |
specification hets vse refinement institution comorphism |
| Status: |
Reviewed |
| Last updated: |
22. 02. 2010 |
