Sort by
Refine Your Search
-
Inria, the French national research institute for the digital sciences | Saint Martin, Midi Pyrenees | France | 3 days ago
complex codebase (millions of lines of code, mostly in C) which makes formal verification of its components a significant challenge. Device drivers, in particular, are often developed by third parties
-
] S. Tollec et al. μArchiIFI: Formal Modeling and Verification Strategies for Microarchitectural Fault Injections. FMCAD 2023: 101-109 [4] S. Tollec et al.. Fault-Resistant Partitioning of Secure CPUs
Searches related to verification
Enter an email to receive alerts for verification positions