Open luigiapetre opened 5 years ago
Course code, if applicable: University hosting the course: University of Minho Contact person: Jose N. Oliveira, jno@di.uminho.pt Concepts taught: Formal specification, Modeling, Verification, Calculational design, Software architecture Tools used: NuSMV, Alloy, mCRL2, Reo, UPPAAL, MiniSat, SMT-LIB, Why3, Coq, Frama-C, Dafny, CBMC, ANTLR, RAPL Webpage: http://mei.di.uminho.pt/?q=en/mfes-en Year/level: MSc
Course code, if applicable: University hosting the course: University of Minho Contact person: Jose N. Oliveira, jno@di.uminho.pt Concepts taught: Formal specification, Modeling, Verification, Calculational design, Software architecture Tools used: NuSMV, Alloy, mCRL2, Reo, UPPAAL, MiniSat, SMT-LIB, Why3, Coq, Frama-C, Dafny, CBMC, ANTLR, RAPL Webpage: http://mei.di.uminho.pt/?q=en/mfes-en Year/level: MSc