Options
Generating Inductive Shape Predicates for Runtime Checking and Formal Verification
Boockmann, Jan; Lüttgen, Gerald; Mühlberg, Jan Tobias (2018): Generating Inductive Shape Predicates for Runtime Checking and Formal Verification, in: Tiziana Margaria (Hrsg.), Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II, Cham: Springer International Publishing, S. 64–74, doi: 10.1007/978-3-030-03421-4_5.
Faculty/Chair:
Author:
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:
Conference:
8th International Symposium, ISoLA 2018, November 5-9, 2018 ; Limassol, Cyprus
Publisher Information:
Year of publication:
2018
Pages:
ISBN:
978-3-030-03420-7
Language:
English
Type:
Conferenceobject
Activation date:
July 26, 2021
Permalink
https://fis.uni-bamberg.de/handle/uniba/50362