search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Software Quality #103

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: Requirements,Software Architecture,Software Verification,Software Metrics Tools used: Dafny, TLA+, Rodin Webpage: https://link.springer.com/chapter/10.1007/978-3-030-85347-1_38 Year/Level: MSc

jff commented 1 month ago

Thank you, @luigiapetre ! The course is now in the public database.