Open luigiapetre opened 6 years ago
Course code, if applicable: University hosting the course: Carnegie Mellon University Contact person: Bryan Parno (parno@cmu.edu) Concepts taught: Software verification, systems, automation Tools used: Z3, Dafny, Coq Webpage: http://www.cs.cmu.edu/~15811/ Year/Level: PhD
Course code, if applicable: University hosting the course: Carnegie Mellon University Contact person: Bryan Parno (parno@cmu.edu) Concepts taught: Software verification, systems, automation Tools used: Z3, Dafny, Coq Webpage: http://www.cs.cmu.edu/~15811/ Year/Level: PhD