Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine Verification.

Hiromi Hiraishi, Kiyoharu Hamaguchi, Hiroyuki Ochi, Shuzo Yajima

Browse the full CAV paper archive.