Model Checking Using Adaptive State and Data Abstraction.

Dennis Dams, Rob Gerth, Gert Dhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann

Browse the full CAV paper archive.