Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization

Assalé Adjé, Pierre-Loic Garoche, Victor Magron
January 2015
Cite DOI
Type
Conference paper
Publication
Static Analysis - 22st International Symposium, SAS 2015, St Malo, France, 2015. Proceedings
"own"
Assalé Adjé
Assalé Adjé
Associate Professor at Univ. of Perpignan

Related