2 papers
cs.LO2015
Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron
While abstract interpretation is not theoretically restricted to specific kinds of properties, it is, in practice, mainly developed to compute linear over-approximations of reachab…
cs.LO2012
Concrete Semantics of Programs with Non-Deterministic and Random Inputs
Assalé Adjé, Jean Goubault-Larrecq
This document gives semantics to programs written in a C-like programming language, featuring interactions with an external environment with noisy and imprecise data.