Prerequisites:None
Corporate IT systems
Model Checking is a technique for automatically verifying whether a software program satisfies correctness requirements such as mutual exclusion, …
From time to time, the department presents lectures on special topics within Computer Science.
Similar to MIT 862; which has the following description: Research methodologies applicable to the IT field as preparation for the mini-dissertation …
