Currently browsing

Reductions for Parity Games and Model Checking

Thomas Neele first promotor: dr.ir. T.A.C. Willemse (TU/e) second promotor: prof.dr.ir. J.F. Groote (TU/e) Eindhoven University of Technology Date: 16 September, 2020 Thesis: PDF Summary The design and implementation of software systems has long been recognised to be a difficult task. In the field of theoretical computer science, formal methods aim to …