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

CímWill My Program Break on This Faulty Processor? - Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software
Közlemény típusaJournal Article
Kiadás éve2019
SzerzőkBajczi, L., Vörös, A., and Molnár, V.
FolyóiratACM Trans. Embed. Comput. Syst.
Kötet18
Pagination89:1–89:21
ISSN1539-9087
Kulcsszavakanalysis, concurrent, Fault, litmus test, memory consistency model
URLhttp://doi.acm.org/10.1145/3358238
DOI10.1145/3358238
PDF: