Improved State Space Reductions for LTL Model Checking of C and C++ Programs

Abstract

In this paper, we present substantial improvements in efficiency of explicit-state LTL model checking of C & C++ programs, building on [2], including improvements to state representation and to state space reduction techniques. The improved state representation allows to easily exploit symmetries in heap configurations of the program, especially in programs… (More)
DOI: 10.1007/978-3-642-38088-4_1

Topics

3 Figures and Tables

Statistics

02040201520162017
Citations per Year

Citation Velocity: 9

Averaging 9 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.

Slides referencing similar topics