Somorjai Márk István

dolgozatok

Absztrakció alapú technikák CHC problémák hatékony megoldására

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2022. évi TDK konferencia » Beágyazott rendszerek szekció, 2022

Villamosmérnöki és Informatikai Kar » Beágyazott rendszerek téma

Vörös András Dr. ( MIT) , Bajczi Levente ( MIT) , Dobos-Kovács Mihály ( MIT)

Somorjai Márk István

I. helyezett

Absztrakció-alapú interprocedurális szoftververifikáció

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2023. évi TDK konferencia » Szoftver szekció, 2023

Villamosmérnöki és Informatikai Kar » Szoftver téma

Vörös András Dr. ( MIT) , Bajczi Levente ( MIT) , Dobos-Kovács Mihály ( MIT)

Somorjai Márk István

II. helyezett