Pinned Repositories
HyperPAYNT
Synthesizing controllers for Probabilistic HyperProperties on MDPs.
ADAHomeworks
Inside the Leak, EPFL, Fall 2017.
souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
MastersThesis
runtimeVerification
SE-Winter-2015
Systems Engineering 2015
souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
stainless
Verification framework for higher-order functional programs
verifiedModelChecker
ssallinger's Repositories
ssallinger/MastersThesis
ssallinger/runtimeVerification
ssallinger/SE-Winter-2015
Systems Engineering 2015
ssallinger/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
ssallinger/stainless
Verification framework for higher-order functional programs
ssallinger/verifiedModelChecker