Overview

Parser library for the (Pro)cess (Me)ta (La)anguate (PROMELA), that additionally enhances the basic language with constructs needed for McScM (unbounded channels, etc.). The library is implemented in Objective Caml and published under a BSD license.

Members

Manager: Alexander Heußner