Show simple item record

Effective Verification for Low-Level Software with Competing Interrupts

dc.contributor.authorLiang, Len_US
dc.contributor.authorMelham, Ten_US
dc.contributor.authorKroening, Den_US
dc.contributor.authorSchrammel, Pen_US
dc.contributor.authorTautschnig, Men_US
dc.date.accessioned2018-02-01T16:42:15Z
dc.date.available2017-07-07en_US
dc.date.issued2018-04en_US
dc.date.submitted2018-01-11T18:35:48.159Z
dc.identifier.issn1539-9087en_US
dc.identifier.urihttp://qmro.qmul.ac.uk/xmlui/handle/123456789/31940
dc.relation.ispartofACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMSen_US
dc.rightsThis is a pre-copyedited, author-produced version of an article accepted for publication in ACM Transactions on Embedded Computing Systems following peer review. The version of record is available https://dl.acm.org/citation.cfm?doid=3160927.3147432
dc.subjectInterrupt-driven softwareen_US
dc.subjectinterruptsen_US
dc.subjectconcurrencyen_US
dc.subjectmodel checkingen_US
dc.subjectprogram instrumentationen_US
dc.subjectsymbolic executionen_US
dc.titleEffective Verification for Low-Level Software with Competing Interruptsen_US
dc.typeArticle
dc.rights.holder© 2017 Association for Computing Machinery
dc.identifier.doi10.1145/3147432en_US
pubs.author-urlhttp://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000434645500008&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=612ae0d773dcbdba3046f6df545e9f6aen_US
pubs.issue2en_US
pubs.notesNo embargoen_US
pubs.publication-statusPublisheden_US
pubs.volume17en_US


Files in this item

Thumbnail
Name:
Tautschnig Effective verification ...
Size:
246.5Kb
Format:
application/
Description:
Accepted version
View/Open

This item appears in the following Collection(s)

Show simple item record