6 citations · 18 across the 10 of their papers we have counts for
10 papers
Exploiting Adjoints in Property Directed Reachability Analysis
Mayuko Kori, Flavio Ascari, Filippo Bonchi +3
We formulate, in lattice-theoretic terms, two novel algorithms inspired by Bradley's property directed reachability algorithm. For finding safe invariants or counterexamples, the f…
Efficient Analysis of Chemical Reaction Networks Dynamics based on Input-Output Monotonicity
Lucia Nasti, Roberta Gori, Paolo Milazzo +1
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 descri…
Formal characterization and efficient verification of a biological robustness property
Lucia Nasti, Roberta Gori, Paolo Milazzo
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 v…
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification
Roberto Bagnara, Abramo Bagnara, Fabio Biselli +2
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…
A Practical Approach to Interval Refinement for math.h/cmath Functions
Roberto Bagnara, Michele Chiari, Roberta Gori +1
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 librarie…
Exploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged Version
Roberto Bagnara, Matthieu Carlier, Roberta Gori +1
Floating-point computations are quickly finding their way in the design of safety- and mission-critical systems, despite the fact that designing floating-point algorithms is signif…