AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL.

Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rdiger Olderog

Browse the full CAV paper archive.