Tags : Browse Projects

libDDD is C++ library for manipulation of decision diagrams, both Data Decision Diagrams which are integer valued and Hierarchical Set Decision Diagrams. ITS-tools is a multi-solution, mutli formalism model-checking toolsuite. libITS leverages libDDD to offer a generic symbolic model-checking ... [More] kernel with high expressivity, as featured by Guarded Action Language. CTL and LTL model-checking are built on top of libITS. A user friendly eclipse front end with support for Promela, Divine language, Petri nets, Timed Automata and GAL. [Less]

π-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]