A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement.

Yael Meller, Orna Grumberg, Sharon Shoham

Browse the full ATVA paper archive.