Tools for Reliable Software Construction

fme-teaching / fm-courses

List of Formal Methods Courses

3 stars 0 forks source link

Tools for Reliable Software Construction #102

Open luigiapetre opened 2 months ago

luigiapetre commented 2 months ago

Course code, if applicable: University hosting the course: Åbo Akademi University Contact person: Luigia Petre, lpetre@abo.fi Concepts taught: Automated Reasoning,Logic,Modelling,Proofs,Software Verification,Specification,WP Calculus Tools used: Dafny Webpage: https://moodle.abo.fi/course/view.php?id=11759 Year/Level: MSc

jff commented 1 month ago

Thank you, @luigiapetre ! The URL seems to require authentication. Is there an open version?