Sort by
Refine Your Search
-
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