Zobrazeno 1 - 10
of 106
pro vyhledávání: '"GORI, ROBERTA"'
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
Motivation: A Chemical Reaction Network (CRN) is a set of chemical reactions, which can be very complex and difficult to analyze. Indeed, dynamical properties of CRNs can be described by a set of non-linear differential equations that rarely can be s
Externí odkaz:
http://arxiv.org/abs/2107.00289
Robustness is an observable property for which a chemical reaction network (CRN) can maintain its functionalities despite the influence of different perturbations. In general, to verify whether a network is robust, it is necessary to consider all the
Externí odkaz:
http://arxiv.org/abs/2104.13831
Publikováno v:
Constraints 27, 29-69, 2022
Verification of programs using floating-point arithmetic is challenging on several accounts. One of the difficulties of reasoning about such programs is due to the peculiarities of floating-point arithmetic: rounding errors, infinities, non-numeric o
Externí odkaz:
http://arxiv.org/abs/1903.06119
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
ACM Transactions on Programming Languages & Systems; Sep2024, Vol. 46 Issue 3, p1-31, 31p
Publikováno v:
ACM Trans. Softw. Eng. Methodol. 30, 1, Article 9 (January 2021), 53 pages
Verification of C++ programs has seen considerable progress in several areas, but not for programs that use these languages' mathematical libraries. The reason is that all libraries in widespread use come with no guarantees about the computed results
Externí odkaz:
http://arxiv.org/abs/1610.07390
Publikováno v:
Journal of the ACM; Apr2023, Vol. 70 Issue 2, p1-45, 45p