Messages

Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol.

I have added the paper to the handouts folder. (This is only for PhD students taking ...

The lecture tomorrow is cancelled as I am sick and coughing a lot. Really sorry! Please remember to prepare questions for the repetition lecture and send me by email.

Eksamensform: Det blir muntlig eksamen i ?r.

Dato: 8-10. desember (dere f?r et presist eksamenstidspunkt n?r vi vet n?yaktig hvor mange som melder seg opp til eksamen)

Lizeth is feeling sick and has to cancel the lecture today. We continue next week.

If you are curious about tools for program analysis which have similarities to the program logic used in the course, please have a look to the KeY tool.

https://www.key-project.org/

...