| Publication type: |
Technical Report |
| Author: |
Till Mossakowski, Christian Maeder, Klaus Lüttich |
| Title: |
Hets User Guide |
| Year published: |
2006 |
| Institution: |
Department of Computer Science; Universität Bremen |
| Abstract: |
The Heterogeneous Tool Set (Hets) is the main analysis tool
for the specification language heterogeneous CASL. Heterogeneous
CASL (HetCASL) combines the specification language CASL with CASL extensions
and sublanguages, as well as completely different logics and even
programming languages such as Haskell. HetCASL
extends the structuring mechanisms of CASL:
Basic specifications are
unstructured specifications or modules written in a specific logic.
HEts is based on a graph of logics and logic translations (the
latter are also called comorphisms).
With heterogeneous structured specifications, it is possible to
combine and rename specifications, hide parts thereof, and also
translate them to other logics.
Hets consists of logic-specific tools for the parsing and static
analysis of the different involved logics, as well as a
logic-independent parsing and static analysis tool for structured and
architectural specifications and libraries. The latter of course needs
to call the logic-specific tools whenever a basic specification is
encountered. |
| PDF Version: |
http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/UserGuide.pdf |
| Keywords: |
heterogeneous specifiation analysis proof tool |
| Status: |
Other |
| Last updated: |
08. 02. 2010 |
|
 |
