Linear Invariant Generation Using Non-linear Constraint Solving
By Michael Colón, Sriram Sankaranarayanan, Henny B. Sipma. International Conference on Computer Aided Verification, 2003
393 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications
View Paper: https://www.semanticscholar.org/paper/0d68b14e040c346fca41350f8d6e7b603604bf82
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
- Rishabh Singh
- Armando Solar-Lezama
- Sanjit A. Seshia
- Rajeev Alur
- Emina Torlak
- Rastislav Bodík
- Milo M. K. Martin
- Sumit Gulwani
In Computational Theory and Mathematics
- Armando Solar-Lezama
- Rishabh Singh
- Sanjit A. Seshia
- Rajeev Alur
- Emina Torlak
- Rastislav Bodík
- Sumit Gulwani
- Oleksandr Polozov
In Computer Networks and Communications
- Armando Solar-Lezama
- Rishabh Singh
- Rajeev Alur
- Sanjit A. Seshia
- Emina Torlak
- Rastislav Bodík
- Milo M. K. Martin
- Sumit Gulwani
Citations in the corpus
- Syntax-guided synthesis (2013, methodology): “Also related are techniques for automatic generation of invariants using templates and by learning [12]– [14], and recent work on solving quantified Horn clauses [15].”