itu-square/c-reconfigurator

Stars
1
Language Xtend
Created over 8 years ago
Updated over 7 years ago

itu-square/c-reconfigurator

itu-square

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

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

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.

SymexTRON

Symbolic Executor for the High-Level Transformation Language TRON

quantify_linux_errors

Quantifying Errors in Linux Kernel