Browsing by Author "Luttgen, Gerald"
Now showing 1 - 1 of 1
- Results Per Page
- Sort Options
Publication Generating inductive shape predicates for runtime checking and formal verification
;Boockmann, Jan H. ;Luttgen, GeraldMuhlberg, Jan TobiasProceedings paper2018, ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Verification, 10/10/2018, p.64-74