Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
News
Jobs & internships
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Light
Dark
Automatic
0
Bounding Fixed Points of Set-Based Bellman Operator and Nash Equilibria of Stochastic Games
Fixed Points of the Set-Based Bellman Operator
Kind,a k-induction based model-checker
Kind-AI, automatic abstract interpreter module for Lustre model-checker Kind
LustreC: a modular Lustre compiler
Ocaml library for Semi-Definite Programming (SDP, SOS)
TINY: Simple Static Analyzer for Imperative Code and Numerical precision analysis
SMT-AI, abstract interpreter for a temporal extension of SMT-lib
YASA: Yet Another Static Analyzer
Zen : an Accurate Centralizer for NASA JavaPathFinder
»
Cite
×