Skip to content
@ftsrg

ftsrg

Critical Systems Research Group at BME

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

🎯 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

  1. gamma gamma Public

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

    Xtend 31 27

  2. theta theta Public

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

    Java 52 45

  3. semantifyr semantifyr Public

    A framework to support the declarative definition of engineering model semantics

    Kotlin 4 1

  4. hypernate hypernate Public

    A robust data mapper framework for JVM-based Hyperledger Fabric chaincode

    Java 1

  5. zkWF zkWF Public

    Privacy-Preserving method for Business Process Tracking on Blockchain

    Go 5 1

  6. blockchain-benchmarks-tpcc blockchain-benchmarks-tpcc Public

    TPC-C benchmark implementations for blockchain platforms

    Java

Repositories

Showing 10 of 80 repositories

Top languages

Loading…

Most used topics

Loading…