search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Software Correctness, Security and Reliability #104

Open lucaneg opened 2 months ago

lucaneg commented 2 months ago

Course code, if applicable: CM0476 University hosting the course: Ca Foscari University of Venice Contact person: Agostino Cortesi, cortesi@unive.it Concepts taught: Abstract Interpretation Tools used: LiSA Webpage: https://www.unive.it/data/course/513747 Year/Level: MSc

jff commented 1 month ago

Thank you, @lucaneg ! Your course is now in the public database.