Skip to content


STMonitor: Session Types Monitor Synthesiser

Given a session type S, the tool synthesises the Scala code of a type-checked monitor (based on the library lchannels). The monitor verifies at runtime whether the interactions between a client and server follow the protocol S.

The approach and its underlying theory are described in the following papers: