Software Engineering using Formal Methods

luigiapetre / Formal-Methods-Courses

Here we collect worldwide courses teaching formal methods

33 stars 4 forks source link

Software Engineering using Formal Methods #31

Open GraemeSmith opened 6 years ago

GraemeSmith commented 6 years ago

Course code, if applicable: TDA293 University hosting the course: Chalmers University Contact person: Wolfgang Ahrendt Concepts taught: model checking, deductive verification, JML Tools used: SPIN, KeY Webpage: http://www.cse.chalmers.se/edu/year/2016/course/TDA293/index.html