search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Spécification, test et vérification #76

Open sylvainhalle opened 3 years ago

sylvainhalle commented 3 years ago

Course code, if applicable: 8INF958 University hosting the course: Université du Québec à Chicoutimi Contact person: Sylvain Hallé, shalle@uqac.ca Concepts taught: Formal Specification,Logic,Linear Temporal Logic (LTL),Model Checking,SAT,Tool-Based Testing,Temporal Logic Tools used: Java,JML,Minisat,Nusmv,UML/OCL Webpage: https://cours.uqac.ca/8INF958 Year/Level: MSc Reviewed: 2021/09/03

jff commented 3 years ago

@sylvainhalle Thanks for your submission! Your course is now listed in the public database.