Certification du Logiciel

[jnarboux]

Course code, if applicable:
University hosting the course: University of Strasbourg
Contact person: Julien Narboux, [email protected]
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]

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

[jnarboux]

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 <#88 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAIYG7OFZXFDPT2T5SFZXM3V65EHLANCNFSM6AAAAAAQCCJ25Q>. You are receiving this because you were mentioned.

[jff]

Thank you for your contribution, @jnarboux !

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