Messages

Published Nov. 29, 2021 9:09 AM

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 ...

Published Nov. 16, 2021 4:02 PM

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.

Published Oct. 13, 2021 2:24 PM

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)

Published Sep. 15, 2021 7:40 AM

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

 

Published Sep. 14, 2021 5:53 PM

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/

...