itu-square/p3-tool

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Haskell
License
GNU General Publi...
Created over 9 years ago
Updated about 8 years ago

itu-square/p3-tool

itu-square

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

A reconfigurator tool for fPromela with support for variability abstractions.

2023-foundations-of-probabilistic-programming

Website of the PhD course on Foundations of Probabilistic Programming

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

SymexTRON

Symbolic Executor for the High-Level Transformation Language TRON

quantify_linux_errors

Quantifying Errors in Linux Kernel