Explore projects

A simple extension manager for Java compatible with Eclipse.

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

A tool for automated translation of specification to a structured data.

VeriFIT Reusable Java Components.

Demonstration of VALU3S web for ITS course

Vstupy pro 1. projekt do IOSu (2022).

OSLC client(s) compatible with both Maven and Eclipse.

Demonstration of VALU3S web for ITS course

combine: tool for generating a covering array for T-wise combinatorial testing

Publicly available artifacts created by the VeriFIT research group.