search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Ingeniería de Software 2 #87

Open luigiapetre opened 2 years ago

luigiapetre commented 2 years ago

Course code, if applicable: University hosting the course: Universidad Nacional de Rosario Contact person: Maximiliano Cristiá, cristia@cifasis-conicet.gov.ar Concepts taught: Model-Based Testing,Proofs,Tool-Based Testing,Z Method,Test cases generation Tools used: Fastest, {log} (setlog) Webpage: https://www.fceia.unr.edu.ar/is2 Year/Level: 4 Review: 2022/03/31

maximilianocristia commented 2 years ago

Tools used: Fastest and {log} (setlog)

jff commented 2 years ago

Thank you for your contribution, @maximilianocristia

This course is now in publicly shown in the courses database.