Skip to content
@ftsrg

ftsrg

Critical Systems Research Group at BME
README.md

Welcome at ftsrg

Developing new methods and tools to help engineers create more reliable 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

🎯 Our other organizations:

  • ftsrg-edu: educational and course materials
  • ftsrg-softeng: Software Engineering (VIMIAB04) course
  • ftsrg-cs: Critical Systems Laboratory (VIMIMB11) course

Pinned Loading

  1. gamma Public

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

    Xtend 31 27

  2. theta Public

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

    Java 52 44

  3. blockchain-benchmarks-tpcc Public

    TPC-C benchmark implementations for blockchain platforms

    Java

  4. trainbenchmark Public

    The Train Benchmark framework for evaluating incremental model validation performance

    Java 12 19

  5. cheat-sheets Public

    Getting started tutorials and cheat sheets for various technologies used in our projects.

    Visual Basic 79 20

  6. thesis-template-latex Public

    Thesis template for LaTeX documents.

    TeX 71 44

Repositories

Showing 10 of 76 repositories
  • .github Public
    0 0 0 0 Updated Apr 2, 2025
  • theta Public

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

    Java 52 Apache-2.0 44 33 (2 issues need help) 5 Updated Apr 2, 2025
  • gamma Public

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

    Xtend 31 27 7 2 Updated Apr 2, 2025
  • ftsrg.github.io Public

    🔴⚫⭕ New, modern website of ftsrg

    TypeScript 2 AGPL-3.0 1 5 1 Updated Apr 1, 2025
  • semantifyr Public

    A framework to support the declarative definition of engineering model semantics

    Kotlin 4 EPL-2.0 1 24 6 Updated Mar 31, 2025
  • sme4dd-fabric-template Public

    Fabric chaincode development template for the SME4DD project.

    TypeScript 1 Apache-2.0 14 0 0 Updated Mar 27, 2025
  • chc2c Public

    CHC -> C transformation with a Python project

    Python 0 Apache-2.0 0 0 0 Updated Mar 16, 2025
  • zkWF Public

    Privacy-Preserving method for Business Process Tracking on Blockchain

    Go 5 1 0 0 Updated Feb 27, 2025
  • stochastic-gamma Public
    HTML 0 0 0 0 Updated Feb 13, 2025
  • isse-formal-methods-sysmlv2 Public

    SysML v2 models used in journal paper on formally verifying SysML v2 models (invited to ISSE)

    0 0 0 0 Updated Feb 10, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…