Tools and Algorithms for the Construction and Analysis of Systems

By Hubert Garavel, J. Hatcliff. Lecture Notes in Computer Science, 2003

838 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

A Survey of Automated Techniques for Formal Software Verification (2008, methodology): “Numeric domains have also been used to analyze pointer behavior [54], string manipulations [55], and program termination [41].”
Slither: A Static Analysis Framework for Smart Contracts (2019, methodology): “SlithIR’s SSA representation plus graph-based control flow is very similar to the representation used in the successful CBMC [12] tool for C.”
The Isabelle Framework (2008, methodology): “The Verisoft project http://www.verisoft.de formalized a whole computer system from the hardware up to an operating system kernel [2] and a compiler for C-dialect [24].”
A Tool for Checking ANSI-C Programs (2004, methodology): “A version of CBMC modified by Alex Groce addresses the problem of error localization [6]: the tool displays which statements or input values are important for the fact that the property is violated.”