search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Formal Methods in Software Engineering #78

Open dlucanu opened 3 years ago

dlucanu commented 3 years ago

Course code, if applicable: University hosting the course: Alexandru Ioan Cuza University Contact person: Dorel Lucanu, dlucanu@info.uaic.ro Concepts taught: Axiomatisation,Axiomatic Semantics ,Deductive Software Verification,Deductive Proof,Deductive Verification ,Formal Specification,Hoare Logic,Induction,Logic,Separation Logic,Software Verification,Specification,Static Analysis,Structural Operational Semantics Tools used: C,Dafny,Infer,Java,Maude,Z3 Webpage: https://sites.google.com/view/fii-fmse/home Year/Level: MSc Reviewed: 2021/09/03

jff commented 3 years ago

@dlucanu Thanks for your submission! Your course is now listed in the public database.