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

Publication
Static Analysis - 22st International Symposium, SAS 2015, St Malo, France, 2015. Proceedings
Avatar
Assalé Adjé
Associate Professor at Univ. of Perpignan

Related