Verifying really complex systems: on earth and beyond.

Andreas Kuehlmann, Anjan Bose, David E. Corman, Rob A. Rutenbar, Robert M. Manning, Anna Newman

Browse the full DAC paper archive.