About

Pnmc is a symbolic model checker for Petri nets written in C++14. It uses the libsdd library which implements Hierarchical Set Decision Diagrams. It ranked second at the Model Checking Contest in 2014 and 2015, in the State Space category.

Pre-compiled binaries for Linux 64 bits are available here.

Features

License

Pnmc is released under the BSD license.

News