Show simple item record

Modular verification of liveness properties of the I/O behavior of imperative programs

dc.contributor.authorJacobs, Bart
dc.date.accessioned2021-10-28T22:50:00Z
dc.date.available2021-10-28T22:50:00Z
dc.date.issued2020-10
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/35315
dc.sourceIIOimport
dc.titleModular verification of liveness properties of the I/O behavior of imperative programs
dc.typeProceedings paper
dc.date.embargo9999-12-31
dc.source.peerreviewyes
dc.source.beginpage509
dc.source.endpage524
dc.source.conference15th International Symposium on Leveraging Applications of Formal Methods - ISoLA
dc.source.conferencedate20/10/2020
dc.source.conferencelocationRhodos Greece
dc.identifier.urlhttps://doi.org/10.1007/978-3-030-61362-4_29
imec.availabilityPublished - open access
imec.internalnotesLecture Notes in Computer Science; Vol. LNCS 12476 (aff ok)


Files in this item

Thumbnail
Name:
48259.pdf
Size:
325.0Kb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record