π-translate is a program (and accompanying framework) to convert source code to its equivalent π-calculus representation.
From there, it is possible to further process the resulting expressions; the default plugin will try to produce a name-bounded version(*) and, on request, the accompanying Petri-Net representation.
The main goal is to enable the user to run a series of static verification tests on the original code.
(*) Reiner Hüchting, Rupak Majumdar, and Roland Meyer. “A Theory of Name-Boundedness”.
Use Patent Claims
Include Install Instructions
These details are provided for information only. No information here is legal advice and should not be used as such.