Explore projects

JavaScript-based OSLC Architecture Management domain.

Interactive Report Viewer

Interactive JSON-scheme generator from multiple JSON instances

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

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

Library for manipulation and classification of communication messages.

Prefekt, the digital twin auditor, is a python tool that compares various types of metrics obtained from simulation, analysis or running factory environment.

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

Zakladni testy pro 2. projekt IZP 2020/21