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

by S Chaki, J Ouaknine, K Yorav, E Clarke
Venue:Electronic Notes in Theoretical Computer Science