"Unbounded-Thread Program Verification using Thread-State Equations."

Konstantinos Athanasiou, Peizun Liu, Thomas Wahl (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics