The B-Method: from Specification to Code

fme-teaching / fm-courses

List of Formal Methods Courses

3 stars 0 forks source link

The B-Method: from Specification to Code #59

Open marcel139 opened 4 years ago

marcel139 commented 4 years ago

Course code, if applicable: University hosting the course: Universidade Federal do Rio Grande do Norte Contact person: Marcel Oliveira, marcel139@gmail.com Concepts taught: B Method,Formal Specification,Specification Tools used: Atelier-B, ProB Webpage: https://mooc.imd.ufrn.br/course/the-b-method Year/Level: 2 NB: This is a MOOC, continuously available Reviewed: 2022/03/31

luigiapetre commented 2 years ago

Joao, I have added here another line too, called NB. Could we please also make this visible?