search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Software Verification #107

Open bennn opened 2 months ago

bennn commented 2 months ago

Course code, if applicable: CS 6110 University hosting the course: University of Utah Contact person: Ben Greenman, blg@cs.utah.edu Concepts taught: Applied Formal Methods,Formal Specification,Linear Temporal Logic (LTL),Model Checking,Proof Assistants,Software Verification,Tool-Based Testing Tools used: Forge,Alloy,Dafny,Lean,Python,Hypothesis Webpage: https://utah.instructure.com/courses/934118 Year/Level: PhD

jff commented 1 month ago

Thank you, @bennn ! The course is now in the public database.