Logic for Distributed Systems #119
Description
Course code, if applicable: IN2100
University hosting the course: University of Oslo
Contact person: Peter Ölveczky, [email protected]
Concepts taught: Applied Formal Methods,Data Structures,Distributed Systems,Formal Specification,Linear Temporal Logic (LTL),Model Checking,Modelling,Temporal Logic
Tools used: Maude
Webpage: https://www.uio.no/studier/emner/matnat/ifi/IN2100/index-eng.html
Year/Level: 2