mondokm

PhD student at Budapest University of Technology and Economics.

Budapest University of Technology and EconomicsHungary

Pinned Repositories

theta
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
Language:Java49 20 13241
c11_codehunt_engine
Language:C++0 1 00
connect4
Language:Kotlin1 1 00
god_crossroad_demo
Language:HTML10
god_hello_demo
Language:Java1 1 00
igaztalan_rendorok_2021
Language:Swift1 1 00
ivt-lab
Language:Java10
kompressionsprogramm
Language:C00
mondokm.github.io
Language:TeX20
schachspiel
Language:HTML1 2 00

mondokm's Repositories

mondokm/mondokm.github.io
Language:TeX20
mondokm/connect4
Language:Kotlin1 1 00
mondokm/god_crossroad_demo
Language:HTML10
mondokm/god_hello_demo
Language:Java1 1 00
mondokm/igaztalan_rendorok_2021
Language:Swift1 1 00
mondokm/ivt-lab
Language:Java10
mondokm/schachspiel
Language:HTML1 2 00
mondokm/c11_codehunt_engine
Language:C++0 1 00
mondokm/kompressionsprogramm
Language:C00
mondokm/digitaltechnik
Language:C
mondokm/gamma
The Gamma Statechart Composition Framework
Language:Xtend0 0
mondokm/ltlverif
Language:Java2
mondokm/modes3-smartcity
1 0
mondokm/PopularMovies
Language:Java
mondokm/schachspiel-java
Language:HTML1 01
mondokm/softeng_lab
Language:Java