Report - Verification of SpecC using Predicate Abstraction*emc/papers/Conference Papers...bolic model checking. The paper also describes the sim- ulation and abstraction refinement process.

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form