search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Software Verification #48

Closed jff closed 3 years ago

jff commented 5 years ago

Issue by brijeshdongol Friday Apr 12, 2019 at 13:23 GMT Originally opened as https://github.com/luigiapetre/Formal-Methods-Courses/issues/48

Course code, if applicable: COS6020-B University hosting the course: University of Bradford Contact person: ??? Concepts taught: Classical logic, formal specification, model checking, reactive systems, program verification Tools used: Webpage: https://www.bradford.ac.uk/repos/modules/2020-21/cos6020-b.php

jff commented 3 years ago

@luigiapetre @brijeshdongol The link is not working and we don't have any contact information. A quick search online doesn't reveal much information (apart from old editions of the course). My suggestion is to close this issue.

brijeshdongol commented 3 years ago

@jff Yes, let's close it. I couldn't find any information on this either.