TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets.

Bruno Maria Ren Gonzalez, Peter Gjl Jensen, Stefan Schmid, Jir Srba, Martin Zimmermann

Browse the full ATVA paper archive.