Bounded Model Checking for Weak Alternating Bchi Automata.

Keijo Heljanko, Tommi A. Junttila, Misa Keinnen, Martin Lange, Timo Latvala

Browse the full CAV paper archive.