search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Programmverifikation #75

Open mgudemann opened 3 years ago

mgudemann commented 3 years ago

Course code, if applicable: University hosting the course: University of Applied Sciences Munich Contact person: Matthias Güdemann, matthias.guedemann@hm.edu Concepts taught: Abstract Interpretation,Applied Formal Methods,Constraints,Deductive Software Verification,Formal Specification,Hoare Logic,Model Checking,SMT,Software Verification Tools used: Alter-Ergo,C,Cbmc,Frama-C,Z3 Webpage: https://zpa.cs.hm.edu/public/module/185/ Year/Level: MSc Reviewed: 2021/09/03

jff commented 3 years ago

@mgudemann Thanks for your submission! Your course is now listed in the public database.