Formal Methods in Software Engineering

[alcinocunha]

Course code, if applicable:
University hosting the course: Universidade do Minho
Contact person: Alcino Cunha, [email protected]
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]

Thanks for the contribution, @alcinocunha!