Projects

A collection of some of the tools and implementations I worked on in the recent past.

FastForward

FastForward is a tool for efficiently (semi-)deciding the reachability and coverability problems in Petri nets.