646 citations
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR251 papers
- Université Paris-SaclayFR110 papers
- Centre National de la Recherche ScientifiqueFR64 papers
- CEA Paris-SaclayFR55 papers
- Institut de Recherche sur les Lois Fondamentales de l'UniversFR21 papers
- Université d'Abomey-CalaviBJ21 papers
- Laboratoire National Henri BecquerelFR19 papers
- Université Grenoble AlpesFR16 papers
- Sorbonne UniversitéFR14 papers
- CEA GrenobleFR11 papers
- CentraleSupélecFR11 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR11 papers
Showing 2016 · cs.LOShow all
2 papers · 2 filters
cs.LO2016★ 1 cited
Synthesizing invariants by solving solvable loops
Steven de Oliveira, Saddek Bensalem, Virgile Prevosto
When proving invariance properties of a program, we face two problems. The first problem is related to the necessity of proving tautologies of considered assertion language, wherea…
cs.LO2016
Polynomial invariants by linear algebra
Steven de Oliveira, Saddek Bensalem, Virgile Prevosto
We present in this paper a new technique for generating polynomial invariants, divided in two independent parts : a procedure that reduces polynomial assignments composed loops ana…