Behavioral Model Set

by Michał Antkiewicz, May 08, 2018

Clafer Model Wiki contains a few example models showcasing behavioral Clafer.

1. TrafficLight. A simple state machine model for traffic light transitions.
2. PowerWindow. Our main case study from the behavioral Clafer paper.
3. WebSocketProtocol.
4. TLS Handshake.