Launched wiki page for the Fall 2019 offering of the CPS verification course at University of Illinois at Urbana-Champaign. This wiki site has a sample schedule, pointers to resources like tools and benchmarks, and project ideas.
Launched wiki page for the Fall 2019 offering of the CPS verification course at University of Illinois at Urbana-Champaign. This wiki site has a sample schedule, pointers to resources like tools and benchmarks, and project ideas.
This project is maintained by sayanmitracode