Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach (2003)

by S Chaki, J Ouaknine, K Yorav, E Clarke
Venue:Elec. Notes Theoret. Comp. Sci