Property-specific witness graph generation for guided simulation.

Albert E. Casavant, Aarti Gupta, S. Liu, Akira Mukaiyama, Kazutoshi Wakabayashi, Pranav Ashar

Browse the full DATE paper archive.