ftsrg

icon indicating a website link https://ftsrg.mit.bme.hu

icon location Budapest, Hungary icon location Critical Systems Research Group at BME

Results 9 repositories owned by ftsrg

thesis-template-latex

69
Stars
40
Forks
Watchers

Thesis template for LaTeX documents.

verified publisher icon ftsrg

BME-MODES3

15
Stars
8
Forks
Watchers

Model-based Demonstrator for Smart and Safe Systems

verified publisher icon ftsrg

cheat-sheets

76
Stars
20
Forks
Watchers

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

verified publisher icon ftsrg

codemodel-rifle

19
Stars
3
Forks
Watchers

Graph-based incremental static analysis of ECMAScript 6 source code repositories

verified publisher icon ftsrg

gamma

30
Stars
25
Forks
Watchers

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

verified publisher icon ftsrg

ingraph

48
Stars
10
Forks
Watchers

Incremental view maintenance for openCypher graph queries.

verified publisher icon ftsrg

seviz

20
Stars
4
Forks
Watchers

SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation

verified publisher icon ftsrg

theta

45
Stars
40
Forks
Watchers

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

verified publisher icon ftsrg

gazer

22
Stars
5
Forks
Watchers

An LLVM-based formal verification frontend for C programs.

verified publisher icon ftsrg