Pinned Repositories
AbsSynthe
AbsSynthe-1
controller synthesis from succinct safety specifications
cbmc
C Bounded Model Checker
MeanPayoffSolver
A solver for Mean Payoff Games, based on gain and bias equations and the Z3 SMT solver.
ocaml-aiger
An Ocaml library to read, write and manipulate AIGER files
ocaml-cudd
An Ocaml interface to BDD functions of the CUDD library
Praline
Tools for synthesis in multi-agent systems: computes Nash equilibria of concurrent games modelling interactions in a protocol.
QuantSynthesis
A tool for controller synthesis with mean-payoff and other quantitative objectives, using ADDs
Reglisse
Generate hardware description from safety conditions given by regular languages
Speculoos
SPECification LOgics fOr Synthesis
romainbrenguier's Repositories
romainbrenguier/Praline
Tools for synthesis in multi-agent systems: computes Nash equilibria of concurrent games modelling interactions in a protocol.
romainbrenguier/QuantSynthesis
A tool for controller synthesis with mean-payoff and other quantitative objectives, using ADDs
romainbrenguier/Reglisse
Generate hardware description from safety conditions given by regular languages
romainbrenguier/AbsSynthe
romainbrenguier/AbsSynthe-1
controller synthesis from succinct safety specifications
romainbrenguier/cbmc
C Bounded Model Checker
romainbrenguier/MeanPayoffSolver
A solver for Mean Payoff Games, based on gain and bias equations and the Z3 SMT solver.
romainbrenguier/ocaml-aiger
An Ocaml library to read, write and manipulate AIGER files
romainbrenguier/ocaml-cudd
An Ocaml interface to BDD functions of the CUDD library
romainbrenguier/Speculoos
SPECification LOgics fOr Synthesis
romainbrenguier/Audass
AUtomatic DAta Structure Synthesis
romainbrenguier/doc-typeset
Some scripts for typesetting documents
romainbrenguier/libresonic
Media streaming software
romainbrenguier/sedmoy
Non-interactive editing of text and csv files
romainbrenguier/Smith
Synthesis of ML Inferred from Type Headers
romainbrenguier/tabol
A simple Javascript game
romainbrenguier/Typin
TYpes Parametrized by INtegers