Will My Program Break on This Faulty Processor? - Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software

TitleWill My Program Break on This Faulty Processor? - Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software
Publication TypeJournal Article
Year of Publication2019
AuthorsBajczi, L., Vörös, A., and Molnár, V.
JournalACM Trans. Embed. Comput. Syst.
Volume18
Pagination89:1–89:21
ISSN1539-9087
Keywordsanalysis, concurrent, Fault, litmus test, memory consistency model
URLhttp://doi.acm.org/10.1145/3358238
DOI10.1145/3358238
PDF: