ftsrg edu

avt-labs Public

Lab materials for the Advanced Verification Techniques (VIMIMA29) course

Java 1 2 1 0 Updated Oct 6, 2023

ivt-lab Public

Lab exercises for the Integration and Verification Techniques course

Java 2 MIT 42 0 0 Updated May 2, 2023

Lab materials for the Software and Systems Verification (VIMIMA01) course

C# 29 MIT 9 1 0 Updated Oct 25, 2022

Projects for a course about Model-Based Systems Design

Java 1 GPL-3.0 1 0 0 Updated Aug 26, 2021

Some lecture notes of the research group

14 1 0 0 Updated Aug 26, 2021

Thesis template in Microsoft Word

13 0 5 0 Updated Aug 26, 2021

toolbox Public

Unix, Git és IDE alapok és feladatok

C 1 5 0 0 Updated Feb 20, 2019

ndp Public

Nagyhatékonyságú deklaratív programozás (VISZMB01) jegyzet

TeX 4 0 0 0 Updated Mar 6, 2017

logic-workshop Public archive

Logic and DSL demo for students

Java 1 0 0 0 Updated Jul 21, 2016

Notes for student work on mbeddr and autofocus

C 0 0 0 0 Updated May 31, 2016

Provide feedback