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

Tue, 01 Jan 2019 00:00:00 +0100

Levente Bajczi , András Vörös, Vince Molnár :
Will My Program Break on This Faulty Processor?: Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software. ACM Trans. Embed. Comput. Syst. 18(5s): 89:1-89:21 (2019)