Sort by
Refine Your Search
-
Inria, the French national research institute for the digital sciences | Saint Martin, Midi Pyrenees | France | 27 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
-
for logical foundations, a new linguistic layer representing the intermediate steps between natural language texts and formal proof documents, and the automatisation tools for the efficient construction
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions