Logic for system analysis

[jff]

Issue by luigiapetre Wednesday Sep 26, 2018 at 08:09 GMT Originally opened as https://github.com/luigiapetre/Formal-Methods-Courses/issues/33

---

Course code, if applicable: University hosting the course: University of Oslo Contact person: Peter Ölveczky, peterol@ifi.uio.no Concepts taught:

• Formal modeling and analysis;
• Equational logic;
• Rewriting logic;
• Distributed systems;
• Transport protocols;
• Distributed algorithms (distributed commit, distributed mutual exclusion, distributed leader election);
• Cryptographic protocols modeling and analysis;
• Temporal logic and TL model checking;
• Real-time and probabilistic systems;

Tools used: Maude Webpage: https://www.uio.no/studier/emner/matnat/ifi/INF3232/index-eng.html Year/Level: 2,3