search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Certification du Logiciel #88

Open jnarboux opened 2 years ago

jnarboux commented 2 years ago

Course code, if applicable: University hosting the course: University of Strasbourg Contact person: Julien Narboux, narboux@unistra.fr Concepts taught: Formal Specification,Hoare Logic,Software Verification,Specification,WP Calculus Tools used: Alter-Ergo,C,Frama-C,Why3,Z3 Webpage: Year/Level: MSc

jff commented 2 years ago

Thank you, @jnarboux ! Do you have a website for this course?

jnarboux commented 2 years ago

We just have a private Moodle, nothing public.

Le 18 sept. 2022 à 19:10, Joao F. Ferreira @.***> a écrit :

Thank you, @jnarboux https://github.com/jnarboux ! Do you have a website for this course?

— Reply to this email directly, view it on GitHub https://github.com/fme-teaching/fm-courses/issues/88#issuecomment-1250349646, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAIYG7OFZXFDPT2T5SFZXM3V65EHLANCNFSM6AAAAAAQCCJ25Q. You are receiving this because you were mentioned.

jff commented 2 years ago

Thank you for your contribution, @jnarboux !

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