search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Formal Methods in Software Engineering #96

Open alcinocunha opened 9 months ago

alcinocunha commented 9 months ago

Course code, if applicable: University hosting the course: Universidade do Minho Contact person: Alcino Cunha, alcino@di.uminho.pt Concepts taught: Applied Formal Methods,Behavioural Modelling,Deductive Software Verification,Deductive Verification ,Formal Specification,Hoare Logic,Logic,Linear Temporal Logic (LTL),Model Checking,Modelling,Relations,SAT,SMT,Software Verification,Specification,Temporal Logic Tools used: Alloy,Why3,Z3 Webpage: https://haslab.github.io/MFES/ Year/Level: MSc

jff commented 5 months ago

Thanks for the contribution, @alcinocunha!