Explore projects

JavaScript-based OSLC Architecture Management client.

JavaScript-based OSLC Architecture Management domain.

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

Vstupy pro 1. projekt do IOSu (2022).

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

Experimental extension of Forester for Resource Bounds computation.

Search-Based Testing Environment

Editor and Solver of Cause-Effect-Graphs

Zakladni testy pro 2. projekt IZP 2020/21

Maven projects for building Eclipse Update Sites containing Maven libraries transformed into Eclipse plugins.

Project for testing development of Eclipse plugins using Maven and distributing them as maven or p2 packages.