News
Semantics & Verification, Spring 2006
- March 8th, 2006.
Kim Larsen has overtaken the course. Newer news are
here.
- March 7th, 2006.
Did you have problems to run CWB under windows? You might what
to have a look
here where Steffen Mikkelsen from Aarhus has built an sml-heap
image for windows together with a lancher, so that you can simply
unpack an .exe file and run it.
- March 6th, 2006.
Remember that this Wednesday the whole morning block will be
devoted to solving the first mini project. You will need
one laptop (with installed CWB) for every group of two or three students.
- March 2nd, 2006.
This Friday is the last lecture given by Jiri Srba and the following
Wednesday you will be solving the first mini-project. Remember that
solving the mini-project will give you curriculum (pensum) dispensation.
More info regarding the first mini-project is already on-line.
- February 24th, 2006.
Martin Mosegaard from Aarhus has created a program for visualization
of CCS agents. A CCS program has to be stored as a graph and
can be then uploaded to the visualization tool and interactively
explored. This can be very useful when looking for bugs in your
miniproject! You can try to install and see what the tool can
do at
this link. Note that you have to install the newest version
of CWB in order to run the program.
You can now also play bisimulation games on-line!
Have a look here.
- February 19th, 2006.
You are very much adviced to play with CWB
in your leasure time (and try to install
it on your laptop if you wish so). In the lectures plan
you can download simple CWB programs (protoco.cwb and hm.cwb)
that I used during the lectures and experiment with them.
In the compendium you can see the user manual for CWB as well as a short
(3 page) intro to CWB. Please, note that if you run the CWB preinstalled
at the deparmental servers, you should login to borg or luke.
- February 15th, 2006.
Many thanks to Alex H. Johannesen, Claus Thrane, Morten Dahl, Robert J. Olesen,
Ronni Thostrup, Simon Kongshoj, Thanh Huy Ly
and Willard T. Rafnsson for sending us their comments and suggestions
regarding the reading material!
- February 10th, 2006.
Solutions to the first and second tutorial
are now available at the lectures plan.
- February 6nd, 2006.
Remember to print the tutorial exercises and bring them to the
classroom on Wednesday morning.
- February 2nd, 2006.
The compendium "Semantics and Verification 2006" is now available
in the bookstore (Fr. Bajersvej 7B) for a reasonable price. Make
sure you get one. The lectures plan has been updated and the
slides for the first lecture are already available on-line.
- February 1st, 2006.
Today is the intro to the semester. At 13:00 in B3-104. See you there.
- January 26th, 2006.
The on-line material has been updated. A compendium containing all
the material will be available soon in the bookshop in building B
(Fr. Bajersvej 7) for a good price.
- January 9th, 2006.
The course web-page has been set up.