Search

Pierre-Loïc Garoche

Pierre-Loïc Garoche

Home
News
Jobs & internships
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact

Light Dark Automatic

Ocaml library for Semi-Definite Programming (SDP, SOS)

Pierre Roux, Pierre-Loic Garoche

January 2012

PDF Cite

"software" "own"

Pierre Roux

Researcher at Onera

Related

LustreC: a modular Lustre compiler
PACSA: a Primitive Actor Calculus Static Analyzer
TINY: Simple Static Analyzer for Imperative Code and Numerical precision analysis
YASA: Yet Another Static Analyzer
Kind-AI, automatic abstract interpreter module for Lustre model-checker Kind

© 2018-2023 Pierre-Loïc Garoche

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite