Explore projects

A project for the course Computer Communications and Networks (bachelor's studies).

MINA is a tool for verification of programs with an unbounded number of threads.

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

Testing Environment via Cluster Solution

Automated Gui Guidelines Testing

Experimental extension of Forester for Resource Bounds computation.

RoadRunner eXtended. Dynamic analyzer for Java programs extended by means for easy monitoring of multi-threaded programs. Forked from RoadRunner.

Search-Based Testing Environment

Search-Based Testing Environment

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

Test Management Tool

Editor and Solver of Cause-Effect-Graphs

Extracting CFGs from Java programs using analysis of bytecode.

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

RTL query engine (as a part of HADES)