ftsrg

Pinned

1. BME-MODES3

   Model-based Demonstrator for Smart and Safe Systems

   C++ 14 8

2. cheat-sheets

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

   Visual Basic 73 19

3. thesis-template-latex

   Thesis template for LaTeX documents.

   TeX 59 29

4. theta

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

   Java 22 23

5. gamma

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

   Xtend 14 17

6. trainbenchmark

   The Train Benchmark framework for evaluating incremental model validation performance

   Java 10 12