Explore projects

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

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

Zakladni testy pro 2. projekt IZP 2020/21

Editor and Solver of Cause-Effect-Graphs

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

Library for manipulation and classification of communication messages.

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

JavaScript-based OSLC Architecture Management client.

Interactive Report Viewer

Vstupy pro 1. projekt do IOSu (2022).