itu-square/SymexTRON

Stars
1
Language
Scala
License
GNU General Publi...
Created over 9 years ago
Updated about 8 years ago

itu-square/SymexTRON

itu-square

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Symbolic Executor for the High-Level Transformation Language TRON

2023-foundations-of-probabilistic-programming

Website of the PhD course on Foundations of Probabilistic Programming

p3-tool

A reconfigurator tool for fPromela with support for variability abstractions.

privugger

Privugger (/prɪvʌɡə(r)/) is a privacy risk analysis library for python programs. Docs and tutorials: https://itu-square.github.io/privugger/

symsim

SQUARE Symsim is a test-bed for implementing reinforcement learning algorithms, formalizing their correctness properties, and testing them. It is implemented in Scala 3, in purely functional style, and uses property-based testing.

c-reconfigurator

Tool accompanying "Effective Analysis of C Programs by Rewriting Variability" ‹Programming› 2017 paper

quantify_linux_errors

Quantifying Errors in Linux Kernel