Francesco Pontiggia's repositories
PatternRecognition
Pattern Recognition project, UU 2019/2020
Absynth.jl
A Julia package for loop synthesis
Language:JuliaMIT000
Language:Java000
Computer-ethics-2019
Computer ethics paper
Concepts_of_Program_Design
Concepts of program design projects
hyper-synthesis
Synthesis of controllers from probabilistic hyperproperties on MDPs
Language:C++GPL-3.0000
francescopont.github.io
My personal website
HyperProb
Tool to verify Probabilistic Hyperproperties on Markov Decision Processes
Language:PythonMIT000
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
Language:C++000
storm
A Modern Probabilistic Model Checker
Language:C++GPL-3.0000
stormpy
Python Bindings for the Probabilistic Model Checker Storm
Language:C++GPL-3.0000