Code Generation Module for CSP# in PAT

This webpage gives more details of the case studies for the code generation module of the PAT model checker. 
  • PAT Version with Code Generation Module [download]

Entrance Guard System (EGS)

Secure Communication Box
  • CSP# Model [download]
  • Generated C/C++ Code [download]
Comments