System Validation (2IW26)
Last update: February 7, 2013.
The reader is available at the Student's shop. It has number 2613,
and it does not have the code of this course (2IW26) which caused
some confusion.
My room is MF 7.070 which is on the 7th floor of the Metaforum
building. The handout still refers to my old room in the Hoofdgebouw (HG 6.75)
which is incorrect.
There will not be a lecture on March 18, 2013.
Teacher: J.F. Groote.
Dates of the lectures and the examinations
Classes take place at Mondays 5/6 hour (Aud 8) and
Thursdays 1/2 hour (Paviljoen u46).
First lecture will take place on Monday February 4, 2013.
The exam will take place on Tuesday, April 9, 2013 from 9:00 to 12:00 (register before
March 31, 2013).
There is a possibility to retry
the exam on Wednesday June 26, 2013, 14:00-17:00 (register before June 16). See
owinfo.tue.nl for
information regarding the location. The final date
to hand in the pre-final report for the
assigment is Friday, April 19, 2013. The final report must be handed in on Wednesday, May 1, 2013.
Both the pre-final and final report must be handed in on paper. The corrected pre-final
report must be handed in with the final report.
The assignment and exam contribute
equally to the final score. The lecture notes are not allowed to be used
at the exam. A list of axioms will be attached to the exam.
Literature:
-
Course overview
.
-
Modelling and Analysis of Communicating Systems,
J.F. Groote and M.R. Mousavi. This is the version equaling the reader which can be obtained at the student's shop (diktatenverkoop).
-
Modelling and Analysis of Communicating Systems,
J.F. Groote and M.R. Mousavi. This is the full version which is continuously being updated.
-
This
exemplary exam provides an impression of how exams of this course look like.
-
For the toolset see the webpages for mcrl2.
The mCRL2 toolset
For those who want to use the mCRL2 toolset, look at the
webpages. Among others, the pages allow to download the tools for various
platforms and contain manual pages. For large systems Linux and Mac is by far preferable
over Windows, because the compiling rewriter is not available on Windows.
All students can get an account at BCF (MF 3.083)
of the faculty to use the toolset
on svstud.win.tue.nl. Ask access to the
directory /scratch/2iw26 where large files can be stored.
This can be done by the NSC by putting you in an adequate group.
Make your own subdirectory with names group1, group2, etc.
In order to use the
graphical tools it is necessary to log in using ssh with the `-Y' flag.
For using graphical programs from a windows machine, a X-server
must be installed. For a MacOsX machine an X-windowing systems comes with the
standard developers distribution (which is also required to compile the toolset).
Logging at the svstud can be done using a program like ssh (secure shell).
All the programs on svstud
reside in the directory /home/jfg/bin. Example files are in
/home/jfg/MCRL2/examples. In case of problems contact J.F.Groote@tue.nl.
All tools have a -help flag that gives a concise description of the
tool and its use. All tools can be started via the command line, and most
tools work in the mcrl2-gui environment.
Go back