You are here

Research seminaries

27 July 2017
Model checking offers the possibility to automatically verify the correctness of complex systems or...