Explore projects
-
Florian Draschbacher / A2P2
GNU General Public License v3.0 onlyUpdated -
scos / akdv2016
MIT LicenseAssignment for AKDV 2016: writing theory solvers in the SMT4J framework.
Updated -
Florian Draschbacher / CryptoShield
GNU General Public License v3.0 onlyUpdated -
Updated
-
scos / scos.sources / LearningMMTs
GNU General Public License v3.0 or laterThis is the very first step towards Learning Mealy Machines with Timers.
Updated -
Stefan More / Mocca Mirror
Apache License 2.0Mirror of "Modular Open Citizen Card Architecture" from https://git.egiz.gv.at/mocca/
Updated -
krypto / project_development_work / PSI_old
GNU Affero General Public License v3.0Updated -
crysil / secure_text_collaboration
European Union Public License 1.2Updated -
This project contains the material for the Verification and Testing practicals.
Updated