Software Formal Analysis and Design

fme-teaching / fm-courses

List of Formal Methods Courses

3 stars 0 forks source link

Software Formal Analysis and Design #79

Open thomas-genet opened 3 years ago

thomas-genet commented 3 years ago

Course code, if applicable: University hosting the course: Université de Rennes 1 Contact person: Thomas Genet, genet@irisa.fr Concepts taught: Applied Formal Methods,Data Structures,Deductive Software Verification,Formal Specification,Functional Programming,Induction,Interactive Theorem Proving,Logic,Proof Assistants,Software Verification,Specification,Static Analysis Tools used: Isabelle, Scala Webpage: http://people.irisa.fr/Thomas.Genet/ACF/ Year/Level: 4 Reviewed: 2021/11/21

jff commented 3 years ago

Thank you for your contribution, @thomas-genet ! This course is now publicly shown in the course database.

thomas-genet commented 3 years ago

Thank you!