Login / Signup
μARCHIFI: Formal Modeling and Verification Strategies for Microarchitectural Fault Injections.
Simon Tollec
Mihail Asavoae
Damien Couroussé
Karine Heydemann
Mathieu Jan
Published in:
FMCAD (2023)
Keyphrases
</>
model checking
fault detection
formal analysis
expert systems
formal model
formal methods
colored petri nets
genetic algorithm
search algorithm
fault diagnosis
formal specification
real time
data sets
neural network
information systems