Hets - the Heterogeneous Tool Set

Copyright(c) Otto-von-Guericke University of Magdeburg
LicenseGPLv2 or higher, see LICENSE.txt
Safe HaskellSafe

VSE

Description

The VSE folder contains the skeleton of an instance of Logic.Logic for VSE, see The VSE Refinement Method in Hets. Electronic Communications of the EASST, 62, 2013. Mihai Codescu, Bruno Langenstein, Christian Maeder and Till Mossakowski. https://journal.ub.tu-berlin.de/eceasst/article/view/859