Generating Inductive Shape Predicates for Runtime Checking and Formal Verification.

Jan H. Boockmann, Gerald Lttgen, Jan Tobias Mhlberg

Browse the full ISoLA paper archive.