ftsrg

Critical Systems Research Group at BME

gamma Public
An Eclipse-based modeling framework for the component-based design and analysis of reactive systems

Xtend 17 19 9 2 Updated Jan 18, 2022
theta Public
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

Java 23 Apache-2.0 26 20 5 Updated Jan 15, 2022
ftsrg.github.io Public
🔴⚫⭕ New, modern website of ftsrg

TypeScript 1 AGPL-3.0 1 10 1 Updated Dec 19, 2021
thesis-works Public
Thesis works in @ftsrg

TeX 2 2 0 0 Updated Dec 11, 2021
thesis-template-latex Public
Thesis template for LaTeX documents.

TeX 64 31 0 1 Updated Nov 16, 2021
StoATT Public
Stochastic Analysis through Tensor Trains

Kotlin 0 Apache-2.0 0 0 0 Updated Nov 10, 2021
gazer Public
An LLVM-based formal verification frontend for C programs.

C++ 9 5 27 8 Updated Oct 29, 2021
cps-edge-demonstrator-movement-authority Public
Repo for the EFOP CPS edge demonstrator representing a movement authority system

0 0 0 0 Updated Oct 12, 2021
trainbenchmark Public
The Train Benchmark framework for evaluating incremental model validation performance

Java 10 EPL-1.0 12 26 0 Updated Aug 12, 2021
publication-pages Public
Github repository for publication pages

2 1 0 0 Updated Jun 2, 2021

Pinned