Sort by
Refine Your Search
-
will investigate end-to endguarantees of correctness. When successful, this will have a major impact on the way combinatorial optimization software is developed,evaluated, and used: the proofs
Searches related to software verification
Enter an email to receive alerts for software-verification positions