Efficient SAT-Based Bounded Model Checking of Evolving Systems.

Sophie Andrews, Matthew Sotoudeh, Clark W. Barrett

Browse the full DATE paper archive.