A Direct Algorithm for Multi-valued Bounded Model Checking.

Jefferson O. Andrade, Yukiyoshi Kameyama

Browse the full ATVA paper archive.