Publication:

Generating inductive shape predicates for runtime checking and formal verification

Date

2018
Proceedings Paper
Simple item page Full metadata Statistics
 
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.embargo9999-12-31
dc.date.issued2018
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/30295
dc.identifier.urlhttps://doi.org/10.1007/978-3-030-03421-4_5
dc.source.beginpage64
dc.source.conferenceISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Verification
dc.source.conferencedate10/10/2018
dc.source.conferencelocationLimassol Cyprus
dc.source.endpage74
dc.title

Generating inductive shape predicates for runtime checking and formal verification

dc.typeProceedings paper
dspace.entity.typePublication
Files

Original bundle

Name:
42526.pdf
Size:
699 KB
Format:
Adobe Portable Document Format
Download
Publication available in collections:
Conference contributions