ftsrg

Critical Systems Research Group at BME

Overview
Repositories
Projects
Packages
People

README.md

Welcome at ftsrg

Developing new methods and tools to help engineers create more reliable software systems

🚀 This organization hosts software and tutorials developed by the

Critical Systems Research Group (ftsrg) at
Dept. of Artificial Intelligence and Systems Engineering (MIT) at
Budapest University of Technology and Economics (BME)

📜 Our name, ftsrg, comes from the original name of the research group: Fault Tolerant Systems Research Group

🎯 Other organizations for the research group:

ftsrg-edu: educational and course materials
ftsrg-bta: Blockchain Technologies and Applications (VIMIAV17) course
ftsrg-cs: Critical Systems Laboratory (VIMIMB11) course
ftsrg-rete: Systems Modeling (VIMIAD03) course
ftsrg-softeng: Software Engineering (VIMIAB04) course
Refinery: Refinery tool for reasoning about graphs with partial modeling

Pinned Loading

gamma gamma Public

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

Xtend 35 27
theta theta Public

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

Java 66 54
semantifyr semantifyr Public

A framework to support the declarative definition of engineering model semantics

Kotlin 5 3
zkWF zkWF Public

Privacy-Preserving method for Business Process Tracking on Blockchain

Go 7 2
blockchain-benchmarks-tpcc blockchain-benchmarks-tpcc Public

TPC-C benchmark implementations for blockchain platforms

Java

Repositories

Type Language

Select language

All C C# C++ CSS Dockerfile Go Groovy HTML Java Jupyter Notebook Kotlin Python R Scala Shell TeX TypeScript Visual Basic Xtend

Sort

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

ftsrg/gamma's past year of commit activity

Xtend 35 27 10 5 Updated Aug 28, 2026
theta Public
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

ftsrg/theta's past year of commit activity

Java 66 Apache-2.0 54 53 (2 issues need help) 7 Updated Aug 27, 2026
refinery-map Public
This project contains the transformation of different map formats to Refinery problems.

ftsrg/refinery-map's past year of commit activity

Java 0 EPL-2.0 0 0 0 Updated Aug 18, 2026
zkWF Public
Privacy-Preserving method for Business Process Tracking on Blockchain

ftsrg/zkWF's past year of commit activity

Go 7 Apache-2.0 2 0 0 Updated Aug 15, 2026
oosem-assistant Public
Modeling assistant to support the application of the recursive decomposition pattern of OOSEM in the SysML v2 language.

ftsrg/oosem-assistant's past year of commit activity

Java 0 EPL-2.0 0 0 0 Updated Aug 6, 2026
semantifyr Public
A framework to support the declarative definition of engineering model semantics

ftsrg/semantifyr's past year of commit activity

Kotlin 5 EPL-2.0 3 6 10 Updated Jul 20, 2026
ConcurrentWitness2Test Public
Sources of the ConcurrentWitness2Test violation witness validator tool

ftsrg/ConcurrentWitness2Test's past year of commit activity

Python 1 Apache-2.0 0 1 0 Updated Jul 13, 2026
cir-demo Public
ClangIR demo page

ftsrg/cir-demo's past year of commit activity

C 1 Apache-2.0 0 2 0 Updated Jun 29, 2026
ftsrg.github.io Public
🔴⚫⭕ New, modern website of ftsrg

ftsrg/ftsrg.github.io's past year of commit activity

TypeScript 2 AGPL-3.0 1 3 1 Updated Jun 23, 2026
templates Public
Public appearance guidelines and logos

ftsrg/templates's past year of commit activity

TeX 4 7 1 1 Updated Jun 2, 2026