Tuesday, May 8, 2018

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.

No comments:

Post a Comment

Note: Only a member of this blog may post a comment.