Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Ascari, Flavio"'
Sound over-approximation methods have been proved effective for guaranteeing the absence of errors, but inevitably they produce false alarms that can hamper the programmers. Conversely, under-approximation methods are aimed at bug finding and are fre
Externí odkaz:
http://arxiv.org/abs/2310.18156
We formulate, in lattice-theoretic terms, two novel algorithms inspired by Bradley's property directed reachability algorithm. For finding safe invariants or counterexamples, the first algorithm exploits over-approximations of both forward and backwa
Externí odkaz:
http://arxiv.org/abs/2307.02817
Autor:
Ascari, Flavio1 (AUTHOR) flavio.ascari@phd.unipi.it, Bruni, Roberto1 (AUTHOR) roberto.bruni@unipi.it, Gori, Roberta1 (AUTHOR) roberta.gori@unipi.it
Publikováno v:
ACM Transactions on Programming Languages & Systems. Sep2024, Vol. 46 Issue 3, p1-31. 31p.