ftsrg/theta ftsrg/theta

  • Stars
    star
    49
  • Rank 585,874 (Top 12 %)
  • Language
    Java
  • License
    Apache License 2.0
  • Created over 9 years ago
  • Updated 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ftsrg/theta
github

ftsrg

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

cheat-sheets

Getting started tutorials and cheat sheets for various technologies used in our projects.
Visual Basic
79
star
2

thesis-template-latex

Thesis template for LaTeX documents.
TeX
68
star
3

ingraph

Incremental view maintenance for openCypher graph queries.
Scala
48
star
4

gamma

An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
Xtend
30
star
5

seviz

SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation
C#
20
star
6

codemodel-rifle

Graph-based incremental static analysis of ECMAScript 6 source code repositories
Java
19
star
7

gazer

An LLVM-based formal verification frontend for C programs.
C++
18
star
8

BME-MODES3

Model-based Demonstrator for Smart and Safe Systems
C++
16
star
9

trainbenchmark

The Train Benchmark framework for evaluating incremental model validation performance
Java
11
star
10

graph-analyzer

Library for analyzing typed graphs.
Java
6
star
11

templates

Public appearance guidelines and logos
TeX
4
star
12

graph-metrics

BSc thesis work of Lehel Boer
Java
3
star
13

mondo-collab-framework

MONDO Collaboration Framework (WP4)
Java
3
star
14

semantifyr

A framework to support the declarative definition of engineering model semantics
Kotlin
3
star
15

ttc16-cra-viatra-dse

Solution for the TTC 2016 Class Responsibility Assignment case
Java
2
star
16

zkWF

Privacy-Preserving method for Business Process Tracking on Blockchain
Kotlin
2
star
17

paper-ttc15-java-refactoring

Paper for the TTC 2015 Java Refactoring case
TeX
2
star
18

thesis-works

Thesis works in @ftsrg
TeX
2
star
19

sigmod2014-pc-top-solutions

Revived versions of the top solutions of the SIGMOD 2014 Programming Contest
C++
2
star
20

docs.inf.mit.bme.hu

Old FTSRG GitHub Pages
CSS
2
star
21

mondo-sam

MONDO-SAM: a lightweight benchmark workflow engine
R
2
star
22

publication-pages

Github repository for publication pages
2
star
23

ftsrg.github.io

๐Ÿ”ดโšซโญ• New, modern website of ftsrg
TypeScript
2
star
24

viewmodel

ViewModel: Incremental view model synchronization using partial models
Java
1
star
25

java-benchmarking

Java
1
star
26

ingraph-tex-converter

Python
1
star
27

trainbenchmark-ttc

(Deprecated.) Framework for the TTC 2015 Train Benchmark case
Java
1
star
28

effective-permission-evaluation

Evaluation of deriving effective permissions for modeling artifacts
Java
1
star
29

document-converter-actions

GitHub Actions for building LaTeX and Markdown documents
Dockerfile
1
star
30

mondo-codemodel

Repository for the "Code Model" case study in MONDO
Java
1
star
31

graphgen-railway-models

Generation of railway architecture models
Java
1
star
32

paper-ttc15-trainbenchmark-eiq

Paper for the TTC 2015 Train Benchmark case
TeX
1
star
33

mondo-utils

Utility classes for the applications in the MONDO project
Java
1
star
34

emf2yed

Turns EMF models to yEd-compatible GraphML files
Xtend
1
star
35

mondo-mondix

HTML
1
star
36

zkp-audit-zokrates

Sample audit programs and input generator tool for the article Privacy-Preserving Noninteractive Compliance Audits of Blockchain Ledgers with Zero-Knowledge Proofs
TypeScript
1
star