Guus Bosman

software engineering director

You are here


Caesar/Aldebaran tool set

Finite transition systemYesterday I studied some more theory on Formal Methods, and today I started the practical work. I finished the first assignment, which is about analysing a very simple protocol. The picture here is a instantiation of a system where two 1-bit buffers are put in sequence.

Recent comments

Recently read

Books I've recently read: