Conference paper Open Access

Synthesizing Invariants by Solving Solvable Loops

de Oliveira, Steven; Bensalem, Saddek; Prevosto, Virgile


BibTeX Export

@proceedings{de_oliveira_steven_2017_893067,
  title        = {Synthesizing Invariants by Solving Solvable Loops},
  year         = 2017,
  publisher    = {Zenodo},
  month        = sep,
  doi          = {10.5281/zenodo.893067},
  url          = {https://doi.org/10.5281/zenodo.893067}
}
60
19
views
downloads
All versions This version
Views 6060
Downloads 1919
Data volume 9.2 MB9.2 MB
Unique views 5252
Unique downloads 1616

Share

Cite as