Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang. Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. In Thomas Ball, Robert B. Jones, editors, Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Volume 4144 of Lecture Notes in Computer Science, pages 137-151, Springer, 2006. [doi]

This author has not been identified. Look up 'Himanshu Jain' in GoogleThis author has not been identified. It may be one of the following persons:

Franjo Ivančić

Look up 'Franjo Ivancic' in GoogleThis author has not been identified. Look up 'Aarti Gupta' in GoogleThis author has not been identified. Look up 'Ilya Shlyakhter' in GoogleThis author has not been identified. Look up 'Chao Wang' in Google

runs on WebDSL