Heterogeneous Tool Set

Hets is a parsing, static analysis and proof management tool combining various tools for different specification languages, thus providing a tool for the heterogeneous specification language HetCASL. The structuring constructs of this language are those of CASL, plus some new heterogeneous constructs for indicating the language and for language translations. Hence, Hets is based on a graph of logics and languages.

Duration: Jan 1, 2000 - Dec 31, 2007
Partners: Universität Bremen
Homepage: http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/index_e.htm
Research area: Software Systems  
last updated 08/02/2017
to top