Generating Inductive Shape Predicates for Runtime Checking and Formal Verification

Boockmann, JanJanBoockmann0000-0001-6816-8393Lüttgen, GeraldGeraldLüttgen0000-0002-0925-4870Mühlberg, Jan TobiasJan TobiasMühlberg2021-07-262021-07-262018978-3-030-03420-7https://fis.uni-bamberg.de/handle/uniba/50362engGenerating Inductive Shape Predicates for Runtime Checking and Formal Verificationconferenceobject10.1007/978-3-030-03421-4_5