issues
search
luigiapetre
/
Formal-Methods-Courses
Here we collect worldwide courses teaching formal methods
32
stars
4
forks
source link
Reasoning about Programs
#1
Closed
luigiapetre
closed
6 years ago
luigiapetre
commented
6 years ago
Course code: CSSE3100
Contact person: Graeme Smith, smith@itee.uq.edu.au
University hosting the course: The University of Queensland
Webpage:
https://my.uq.edu.au/programs-courses/course.html?course_code=csse3100
Concepts taught: Hoare Logic, refinement calculus, theorem proving
Tools: KeY theorem prover