TACO: A Toolsuite for the Verification of Threshold Automata.

Paul Eichler, Tom Baumeister, Mouhammad Sakr, Mahboubeh Kalateh Dowlati, Marcus Vlp, Swen Jacobs

Browse the full CAV paper archive.