ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution).
Rafael Sá MenezesMohannad AldughaimBruno FariasXianzhiyu LiEdoardo ManinoFedor ShmarovKunjian SongFranz BraußeMikhail R. GadelhaNorbert TihanyiKonstantin KorovinLucas C. CordeiroPublished in: TACAS (3) (2024)