research
∙
07/06/2023
Exploiting Adjoints in Property Directed Reachability Analysis
We formulate, in lattice-theoretic terms, two novel algorithms inspired ...
share
research
∙
07/01/2021
Efficient Analysis of Chemical Reaction Networks Dynamics based on Input-Output Monotonicity
Motivation: A Chemical Reaction Network (CRN) is a set of chemical react...
research
∙
03/11/2019
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification
Verification of programs using floating-point arithmetic is challenging ...
research
∙
08/18/2013
