DMCA

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

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