Farkas Rebeka Krisztina OData support

View the theses supervised by Farkas Rebeka Krisztina »

Theses

Abstract interpretation based verification of linear transition systems

Vörös András (MIT)
BSc degree, computer science and engineering programme, 2014-2015 Autumn

CEGAR-based analysis of timed systems

Vörös András (MIT)
MSc degree, computer science and engineering programme, 2016-2017 Autumn