Explore projects
-
Human mobility simulator based on an enhanced realistic statistical model of the Working Day Mobility Model (WDM). En-WDM can also generates SIMBox fraudulent mobility if properly configured.
Updated -
Updated
-
Gazelle / Public / Validation / X Validator Rule Editor
Apache License 2.0Admin GUI to edit X-Validator rules.
Updated -
Gazelle / Public / Validation / X Validation
Apache License 2.0Contextual validation of XML documents (test assertions across several documents).
Updated -
Kairos / GemocBackends / XtextAnimationBackendForGemoc
Eclipse Public License 2.0Updated -
-
Gazelle / Public / Simulation / XDStar Modules
Apache License 2.0Updated -
Gazelle / Public / Simulation / XDStar Client
Apache License 2.0Simulator of XD* client-actors, Validation service of XD* messages.
Updated -
Updated
-
Updated
-
Gazelle / Public / Framework / WS Clients
Apache License 2.0Various Java webservice clients to contact Gazelle applications.
Updated -
-
-
Updated
-
Updated
-
Gazelle / Public / Simulation / Webservice Tester
Apache License 2.0Automated web-service tests, described as SoapUI projects.
Updated -
SPINDLER Fabien / visp-debian
GNU General Public License v2.0 or laterUpdated -
Updated
-
Updated
-
Material for the VerifyThis long term challenge 2020 https://verifythis.github.io
Updated