ftsrg

Repositories

gazer

An LLVM-based formal verification frontend for C programs.

research tool llvm model-checking

C++ 5 3 5 1 Updated Aug 5, 2020

gamma

The Gamma Statechart Composition Framework

research tool statechart composition code-generation model-transformations formal-verification

Xtend 6 10 2 0 Updated Aug 5, 2020

theta

Generic, modular and configurable model checking framework

research tool abstraction model-checking

Java Apache-2.0 18 14 5 2 Updated Jul 30, 2020

ttc2018liveContest

Forked from TransformationToolContest/ttc2018liveContest

The repository for the TTC 2018 Live Contest

Java MIT 12 2 0 0 Updated Jul 27, 2020

cps-edge-demonstrator-movement-authority

Repo for the EFOP CPS edge demonstrator representing a movement authority system

0 0 0 0 Updated Jul 13, 2020

ldbc-graphalytics-platforms-graphblas

LDBC Graphalytics implementation using SuiteSparse:GraphBLAS and LAGraph

ldbc-graphalytics ldbc

Java Apache-2.0 0 0 6 0 Updated Jul 3, 2020

ldbc-graphalytics-platform-networkit

LDBC Graphalytics implementation using NetworKit

Java Apache-2.0 0 0 1 0 Updated Jul 3, 2020

ldbc-graphalytics-platforms-lightgraphs

Benchmarking LDBC Graphalytics with LightGraphs.jl

julia ldbc-graphalytics

Java 0 0 0 0 Updated Jul 3, 2020

sigmod2014-pc-top-solutions

C++ 0 1 0 0 Updated Jun 15, 2020

templates

Public appearance guidelines and logos

TeX 3 4 0 0 Updated May 31, 2020

thesis-template-latex

Thesis template for LaTeX documents.

education

TeX 24 56 2 1 Updated May 29, 2020

bsc-thesis-szalontai-semantically-supported-runtime-reconfigurations-for-cps

Szalontai Jenő szakdolgozat repo

Java 0 0 0 0 Updated May 15, 2020

autoisolator

Tool for automatically generating mocks for white-box test generation

testing research

HTML 0 0 0 0 Updated May 12, 2020

ivt-lab

Lab exercises for the Integration and Verification Techniques course

education

Java MIT 41 2 0 0 Updated May 7, 2020

mdsd-examples

Projects for a course about Model-Based Systems Design

education

Java GPL-3.0 0 1 0 0 Updated Apr 26, 2020

document-converter-actions

GitHub Actions for building LaTeX and Markdown documents

Dockerfile 0 0 0 0 Updated Apr 16, 2020

trainbenchmark

The Train Benchmark framework for evaluating incremental model validation performance

benchmark sql research rdf emf graphs incremental

Java EPL-1.0 10 10 24 0 Updated Mar 6, 2020

thesis-works

Thesis works in FTSRG

education

CSS 0 2 0 0 Updated Mar 2, 2020

docs.inf.mit.bme.hu

Old FTSRG GitHub Pages

CSS 2 2 0 0 Updated Jan 31, 2020

swsv-labs

Software and Systems Verification (VIMIMA01) course

education lecture-notes

C# MIT 7 17 0 0 Updated Nov 13, 2019

BME-MODES3

Model-based Demonstrator for Smart and Safe Systems

C++ 9 14 18 (2 issues need help) 3 Updated Aug 11, 2019

cheat-sheets

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

Visual Basic 19 70 0 0 Updated May 21, 2019

ingraph

Incremental view maintenance for openCypher graph queries.

query research graph pattern-matching graphs incremental graph-processing

Scala EPL-1.0 8 39 31 1 Updated Mar 18, 2019

publication-pages

Github repository for publication pages

0 2 0 0 Updated Feb 25, 2019

toolbox

BME MIT / Témalabor

education

C 5 1 0 0 Updated Feb 20, 2019

effective-permission-evaluation

Evaluation of deriving effective permissions for modeling artifacts

research

Java GPL-3.0 0 1 3 0 Updated Feb 18, 2019

graph-analyzer

Library for analyzing typed graphs.

research neo4j heterogeneous-network multiplex-networks property-graph neo4j-graph multilayer-networks

Java EPL-1.0 0 5 0 0 Updated Feb 8, 2019

theta-jani-interchange

JANI (http://www.jani-spec.org/) serialization and deserialization using Jackson

Kotlin Apache-2.0 0 0 1 0 Updated Dec 10, 2018

CPS18-temalabor

Repository for the CPS project laboratory

Java 1 0 0 0 Updated Dec 2, 2018

ttc14-eiq

Solution for the 2014 Transformation Tool Contest

Java 0 0 0 0 Updated Nov 28, 2018