Sort by
Refine Your Search
-
Inria, the French national research institute for the digital sciences | Saint Martin, Midi Pyrenees | France | 4 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
Searches related to verification
Enter an email to receive alerts for verification positions