Explore projects

Local copy of Roadrunner, original: https://github.com/stephenfreund/RoadRunner

Library for abstraction and concretization of stream of messages of certain similarity or class.

Library for manipulation and classification of communication messages.

Coverage-based Paths Generator (model-based testing)

Publicly available artifacts created by the VeriFIT research group.

A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning

Tyrant is an open source tool, that learns from the logs of captured communication (in form of messages) and reproduces the run in form of the so called scenario.

This bachelor thesis deals with the investigation of amplitude and phase frequency responses of linear electrical circuits. It compares classical methods of investigation using a symbolic-complex method with investigation using dierential e

Extracting CFGs from C/C++ programs using analysis of llvm-ir.

Browser library for developing JavaScript-based OSLC domains and clients.