Explore projects
-
crysil / secure_text_collaboration
European Union Public License 1.2Updated -
Work on soft error analysis for the IMMORTAL project (activity with IBM)
Updated -
scos / akdv17-bounded-synthesis
MIT LicenseUpdated -
scos / akdv2016
MIT LicenseAssignment for AKDV 2016: writing theory solvers in the SMT4J framework.
Updated