search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Software Verification #108

Closed bennn closed 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

bennn commented 2 months ago

duplicate of #99 , sorry having network trouble!