2 papers
cs.LO2026
TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
Bruno Maria René Gonzalez, Peter Gjøl Jensen, Stefan Schmid +2
Petri nets are a modeling formalism capable of describing complex distributed systems and there exists a large number of both academic and industrial tools that enable automatic ve…
cs.DS2026
Complexity of Perfect and Ideal Resilience Verification in Fast Re-Route Networks
Matthias Bentert, Esra Ceylan-Kettler, Valentin Hübner +2
To achieve fast recovery from link failures, most modern communication networks feature fully decentralized fast re-routing mechanisms. These re-routing mechanisms rely on pre-inst…