ExpliSAT: Guiding SAT-Based Software Verification with Explicit States - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz. ExpliSAT: Guiding SAT-Based Software Verification with Explicit States. In Eyal Bin, Avi Ziv, Shmuel Ur, editors, Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers. Volume 4383 of Lecture Notes in Computer Science, pages 138-154, Springer, 2006. [doi]

This author has not been identified. Look up 'Sharon Barner' in GoogleThis author has not been identified. Look up 'Cindy Eisner' in GoogleThis author has not been identified. Look up 'Ziv Glazberg' in GoogleThis author has not been identified. Look up 'Daniel Kroening' in GoogleThis author has not been identified. Look up 'Ishai Rabinovitz' in Google

runs on WebDSL