Improving Efficiency of Symbolic Model Checking for State-Based System Requirements.

William Chan, Richard J. Anderson, Paul Beame, David Notkin

Browse the full ISSTA paper archive.