"Symbolic Liveness Analysis of Real-World Software."

Daniel Schemmel et al. (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics