search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Critical Systems #101

Open ghpc opened 4 months ago

ghpc commented 4 months ago

Course code, if applicable: IF721 University hosting the course: Universidade Federal de Pernambuco Contact person: Gustavo Carvalho, ghpc@cin.ufpe.br Concepts taught: B Method,Data Refinement,Formal Specification,Model Checking,Proofs,Relations,Software Verification,Specification Tools used: AtelierB, ProB, BMotionWeb Webpage: https://sites.google.com/a/cin.ufpe.br/if721 Year/Level: 3

jff commented 1 month ago

Thanks for your contribution, @ghpc! The course is now shown in the public database.