Sign in

ESBMC v7.4: Harnessing the Power of Intervals

By Rafael Menezes and others at
LogoUniversity of Manchester
and
LogoKing Saud University
ESBMC implements many state-of-the-art techniques for model checking. We report on new and improved features that allow us to obtain verification results for previously unsupported programs and properties. ESBMC employs a new static interval analysis of expressions in programs to increase verification performance. This includes interval-based reasoning over booleans and... Show more
December 22, 2023
=
0
Loading PDF…
Loading full text...
Similar articles
Loading recommendations...
=
0
x1
ESBMC v7.4: Harnessing the Power of Intervals
Click on play to start listening