Explore projects

Interactive Report Viewer

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

Interactive JSON-scheme generator from multiple JSON instances

Zakladni testy pro 2. projekt IZP 2020/21

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

An extension of libvata using bisimulation up-to congruence to check language inclusion of tree automata

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

Dataster eXtended (dataster + combine)