Show simple item record

Generating inductive shape predicates for runtime checking and formal verification

dc.contributor.authorBoockmann, Jan H.
dc.contributor.authorLuttgen, Gerald
dc.contributor.authorMuhlberg, Jan Tobias
dc.date.accessioned2021-10-25T16:51:20Z
dc.date.available2021-10-25T16:51:20Z
dc.date.issued2018
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/30295
dc.sourceIIOimport
dc.titleGenerating inductive shape predicates for runtime checking and formal verification
dc.typeProceedings paper
dc.date.embargo9999-12-31
dc.source.peerreviewyes
dc.source.beginpage64
dc.source.endpage74
dc.source.conferenceISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Verification
dc.source.conferencedate10/10/2018
dc.source.conferencelocationLimassol Cyprus
dc.identifier.urlhttps://doi.org/10.1007/978-3-030-03421-4_5
imec.availabilityPublished - open access
imec.internalnotesLecture Notes in Computer Science; Vol. LNCS 11245


Files in this item

Thumbnail
Name:
42526.pdf
Size:
698.9Kb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record