Weakly Acyclic Diagrams: A Data Structure for Infinite-State Symbolic Verification.

Michael Blondin, Michal Cadilhac, Xin-Yi Cui, Philipp Czerner, Javier Esparza, Jakob Schulz

Browse the full TACAS paper archive.