Explore projects
-
verifit / ete-verifit-tasks
Eclipse Public License 2.0Updated -
Updated
-
Testos / Testos Aufover
BSD 3-Clause "New" or "Revised" LicenseUpdated -
verifit / oslc-client
Eclipse Public License 2.0OSLC client(s) compatible with both Maven and Eclipse.
Updated -
Maven projects for building Eclipse Update Sites containing Maven libraries transformed into Eclipse plugins.
Updated -
Updated
-
Updated
-
Lenka Turoňová / benchmarks-CA
MIT LicenseUpdated -
-
-
tacr-unis / prefekt
BSD 3-Clause "New" or "Revised" LicensePrefekt, the digital twin auditor, is a python tool that compares various types of metrics obtained from simulation, analysis or running factory environment.
Updated -
Publicly available artifacts created by the VeriFIT research group.
Updated -
verifit / jSEM
Eclipse Public License 2.0A simple extension manager for Java compatible with Eclipse.
Updated -
Project for testing development of Eclipse plugins using Maven and distributing them as maven or p2 packages.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Tyrant is an open source tool, that learns from the logs of captured communication (in form of messages) and reproduces the run in form of the so called scenario.
Updated -
verifit / unite
Eclipse Public License 2.0Updated