CS-550 Formal Verification

CS-550 Formal Verification

Formal verification: a principled approach to make systems that do what they should. The course has two aspects:
  • learning the practice of formal verification - how to use tools to construct verified software
  • understanding the principles behind formal verification and the ways in which verification tools work
…Read more Less…
 Public, Restricted
79 Media
3 Members
Managers:
Appears In:
Computer Science…