π-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
... [More]
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”. [Less]