Symbolic Liveness Analysis of Real-World Software

Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle
July 2018
PDF Cite DOI GitHub Zenodo
Type
Conference paper
Collection
Lecture Notes in Computer Science, vol. 10982
Publication
Computer Aided Verification (CAV 2018)
Event
30th International Conference on Computer Aided Verification (CAV '18), Jul 14 - Jul 17, 2018, Oxford, UK
Daniel Schemmel, M.Sc.
Daniel Schemmel, M.Sc.
Julian Büning, M.Sc.
Julian Büning, M.Sc.
Researcher
Placeholder Avatar
Oscar Soria Dustmann
Placeholder Avatar
Thomas Noll
Klaus Wehrle
Klaus Wehrle
Head of Group