Today's formal methods are proof and type systems.
As appetite, we give a very broad outline of interactive theorem proving and a perspective on software correctness of distributed systems.
As starter, we consider freely generated algebraic structures, such as (several varieties of) monoids: CM, PCM, ICM.
The main course of …
Other presentations
Page 1 / 1