Logic for system analysis

[luigiapetre]

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