Symbolic Liveness Analysis of Real-World Software

Schemmel, Daniel; Noll, Thomas; Wehrle, Klaus; Büning, Julian; Soria Dustmann, Oscar

doi:978-3-319-96142-2

Symbolic Liveness Analysis of Real-World Software

Schemmel, Daniel (Corresponding author)^RWTH* ; Büning, Julian^RWTH* ; Soria Dustmann, Oscar^RWTH* ; Noll, Thomas^RWTH* ; Wehrle, Klaus^RWTH*

In
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / edited by Hana Chockler, Georg Weissenbacher, Seiten/Artikel-Nr: 447-466

2018

Konferenz/Event:30. International Conference on Computer Aided Verification , Oxford , UK , CAV 2018 , 2018-07-14 - 2018-07-17

ImpressumCham : Springer

Umfang447-466

ISBN978-3-319-96141-5, 978-3-319-96142-2

ReiheLecture notes in computer science ; 10982

Weitere Reihe: Springer eBook Collection : Computer Science

Online
DOI: 10.18154/RWTH-CONV-236467
DOI: 10.1007/978-3-319-96142-2_27
10.1007/978-3-319-96142-2_27
URL: https://publications.rwth-aachen.de/record/753070/files/753070.pdf

Einrichtungen

OpenAccess:
PDF