Searched defs:Hets (Results 1 - 3 of 3) sorted by relevance

/hets/doc/
H A DUserGuide.tex16 pdftitle={Hets User Guide}]
71 \newcommand {\Hets}{\normalTEXTSC{H}{ETS}\xspace}
149 The central idea of the Heterogeneous Tool Set (\protect\Hets) is to
151 integration and proof management. One can think of \Hets acting like a
155 their analysis and proof tools can be plugged into the \Hets
157 \cite{GoguenBurstall92}. The \Hets motherboard already has plugged in
166 \caption{The \Hets motherboard and some expansion cards}
169 \Hets supports a number of input languages directly, such as \CASL,
171 specification, \Hets offers the language heterogeneous \CASL.
176 the \Hets motherboar
[all...]
H A DLibraries.tex65 \newcommand{\Hets}{\textmd{\textsc{Hets}}\xspace }
148 \section{Proposal for implementation in the Heterogeneous Tool Set (\Hets)}
150 Briefly some words about what \Hets is:
151 \Hets (\url{http://www.tzi.de/cofi/hets}) is a tool combining various
162 Languages currently supported by \Hets are \CASL, \HasCASL, \CspCASL
166 in \Hets:
183 used by \Hets (and both the http interface and \Hets should do some
220 language take the latter approach, and their integration into \Hets
[all...]
/hets/CspCASL/Grammar/
H A DCSP_CASL_Parser.tex51 The {\sc Csp-Casl} parser is being programmed as a part of {\tt Hets} and uses relative paths within the directory structure of {\tt Hets}.
52 Consequently, the directory containing the {\sc Csp-Casl} parser has to be a direct subdirectory of {\tt Hets}. No special characters
62 directory {\tt HetCATS(Hets)}, followed by
84 \subsection{Top-level directory {\tt Hets} \& {\tt Hets/CASL}}
86 {\sc Csp-Casl} depends primary on {\sc Casl}, which depends on many other sources of {\tt Hets}. For detailed information about {\sc Casl}, you can find the documentation here:
90 For detailed information about {\tt Hets}, you can find the documentation here:
92 Path/to/Hets-doc
95 \subsection{Directory {\tt Hets/CspCas
[all...]

Completed in 11 milliseconds