% tool-versions.tex --- language tooling versions used -*-latex-*-

% Copyright (C) 2020 Amin Bandali <bandali@uwaterloo.ca>

% This file is part of Amin Bandali's MMath thesis.

% This thesis is free software: you can redistribute it and/or modify
% it under the terms of the GNU General Public License as published by
% the Free Software Foundation, either version 3 of the License, or
% (at your option) any later version.

% This thesis is distributed in the hope that it will be useful,
% but WITHOUT ANY WARRANTY; without even the implied warranty of
% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
% GNU General Public License for more details.

% You should have received a copy of the GNU General Public License
% along with this thesis.  If not, see <https://www.gnu.org/licenses/>.


\chapter{Tool versions}
\label{appx:vers}

This appendix lists the versions of the tool support for each language
we used when carrying out our case studies.  The tools are all free
software~\cite{freesw} and publicly available for use by anyone.

\begin{itemize}
\item For \B, we used ProB:
\begin{verbatim}
ProB 1.9.0-release
718e254497d921bb4f82945fefdb73774780d007
Wed Jul 17 16:07:40 2019 +0200
 TclTk 8.5.19
 SICStus 4.5.1 (x86_64-linux-glibc2.17): Tue Apr  2 06:27:49 PDT 2019
\end{verbatim}

\item for \eventb, we used the Rodin Platform \texttt{Version:
  3.4.0.201802230927-6980ca1} along with the \texttt{ProB for Rodin3
  3.0.10.201909041430 de.prob2.feature.feature.group HHU Düsseldorf
  STUPS Group} plugin.

\item For \alloy, we used the Alloy Analyzer \texttt{5.1.0 built
  2019-08-14T18:53:58.297Z}.

\item For \dash, we used commit
  \texttt{725cd790497cf561443033d2af666877df6d58f5} of\\
  <\url{https://github.com/WatForm/dash}> built using
\begin{verbatim}
Eclipse DSL Tools

Version: 2019-12 (4.14.0)
Build id: 20191212-1212
\end{verbatim}

\item For \tla{} and \pluscal, we used the \tla{} Toolbox and its
  accompanying tools:
\begin{verbatim}
TLA+ Toolbox provides a user interface for TLA+ Tools. 

This is Version 1.6.0 of 10 July 2019 and includes:
  - SANY Version 2.1 of 23 July 2017
  - TLC Version 2.14 of 10 July 2019
  - PlusCal Version 1.9 of 10 July 2019
  - TLATeX Version 1.0 of 20 September 2017
\end{verbatim}

\item For \asmetal, we used
\begin{verbatim}
Eclipse IDE for Java Developers
Version: 2019-09 R (4.13.0)
Build id: 20190917-1200
\end{verbatim}
with the following plugins:
\begin{verbatim}
Asmeta Animator 0.0.10
Asmeta editor and simulator 0.9.10
Asmeta model advisor 0.0.14
Asmeta model checker 1.0.6
Asmeta test generator 0.0.3
Asmeta visualizer 1.0.8
\end{verbatim}
\end{itemize}


%% Local Variables:
%% tex-main-file: "../bandali-mmath-thesis.tex"
%% End:
