Supporting sequential assumptions in hybrid verification.

Eduard Cerny, Ashvin Dsouza, Kevin Harer, Pei-Hsin Ho, Hi-Keung Tony Ma

Browse the full ASPDAC paper archive.