Caesar/Aldebaran tool set
Yesterday 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.
»
- Log in to post comments