{- |
Description :  logic VSE (verification support environment)
Copyright   :  (c) Otto-von-Guericke University of Magdeburg
License     :  GPLv2 or higher, see LICENSE.txt

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>

-}

module VSE where