Generating Inductive Shape Predicates for Runtime Checking and Formal Verification

Faculty/Professorship: Software Technologies  
Author(s): Boockmann, Jan  ; Lüttgen, Gerald  ; Mühlberg, Jan Tobias
Title of the compilation: Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Editors: Margaria, Tiziana
Conference: 8th International Symposium, ISoLA 2018, November 5-9, 2018, Limassol, Cyprus
Publisher Information: Cham : Springer International Publishing
Year of publication: 2018
Pages: 64-74
ISBN: 978-3-030-03420-7
Language(s): English
DOI: 10.1007/978-3-030-03421-4_5
Type: Conferenceobject
Release Date: 26. July 2021