Vectorized Model Checking for Computation Tree Logic.

Hiromi Hiraishi, Shintaro Meki, Kiyoharu Hamaguchi

Browse the full CAV paper archive.