csanadtelbisz

Pinned Repositories

retelab2-aut1
Language:Java00
thesis-template-latex
Thesis template for LaTeX documents.
Language:TeX0 0 00
theta
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
Language:Java00
avt-labs
Lab materials for the Advanced Verification Techniques (VIMIMA29) course
Language:Jupyter Notebook12
theta
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
Language:Java49 19 14143
diffusion
Lambda's homework project in Deep Learning: Image generation with diffusion models.
Language:Jupyter Notebook0 1 00

csanadtelbisz's Repositories

csanadtelbisz/retelab2-aut1
Language:Java00
csanadtelbisz/thesis-template-latex
Thesis template for LaTeX documents.
Language:TeX0 0 00
csanadtelbisz/theta
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
Language:Java00