Open rseba opened 1 year ago
Course code, if applicable: University hosting the course: University of Trento Contact person: Roberto Sebastiani, roberto.sebastiani@unitn.it Concepts taught: Applied Formal Methods,Automated Reasoning,Labelled Transition Systems,Logic,Linear Temporal Logic (LTL),Model Checking,SAT,SMT,Software Verification,Theorem Proving,Timed Automata,Temporal Logic Tools used: Minisat,Nusmv,Smt-Lib Webpage: https://disi.unitn.it/rseba/DIDATTICA/fm2023/ Year/Level: MSc Reviewed: 2023/12/23
Course code, if applicable: University hosting the course: University of Trento Contact person: Roberto Sebastiani, roberto.sebastiani@unitn.it Concepts taught: Applied Formal Methods,Automated Reasoning,Labelled Transition Systems,Logic,Linear Temporal Logic (LTL),Model Checking,SAT,SMT,Software Verification,Theorem Proving,Timed Automata,Temporal Logic Tools used: Minisat,Nusmv,Smt-Lib Webpage: https://disi.unitn.it/rseba/DIDATTICA/fm2023/ Year/Level: MSc Reviewed: 2023/12/23