Report copyright - Verification of SpecC using Predicate Abstraction*emc/papers/Conference Papers...bolic model checking. The paper also describes the sim- ulation and abstraction refinement process
Please pass captcha verification before submit form