ftsrg

Critical Systems Research Group at BME

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

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

🎯 Other organizations for the research group:

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