Generating inductive shape predicates for runtime checking and formal verification

Boockmann, Jan H.Jan H.BoockmannLuttgen, GeraldGeraldLuttgenMuhlberg, Jan TobiasJan TobiasMuhlberg2021-10-252021-10-252018https://imec-publications.be/handle/20.500.12860/30295Generating inductive shape predicates for runtime checking and formal verificationProceedings paperhttps://doi.org/10.1007/978-3-030-03421-4_5