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

by Sagar Chaki , Joël Ouaknine , Karen Yorav , Edmund Clarke
Citations:16 - 6 self