Author of the publication

Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination.

, , , and . LPAR, volume 3835 of Lecture Notes in Computer Science, page 322-336. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

SIVA: A System for Coverage-Directed State Space Search., , , , and . J. Electron. Test., 17 (1): 11-27 (2001)Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables., and . RV, volume 7186 of Lecture Notes in Computer Science, page 4-18. Springer, (2011)DiVer: SAT-Based Model Checking Platform for Verifying Large Scale Systems., , and . TACAS, volume 3440 of Lecture Notes in Computer Science, page 575-580. Springer, (2005)BEST: A symbolic testing tool for predicting multi-threaded program failures., , , , and . ASE, page 596-599. IEEE Computer Society, (2011)Abstraction and BDDs Complement SAT-Based BMC in DiVer., , , , and . CAV, volume 2725 of Lecture Notes in Computer Science, page 206-209. Springer, (2003)Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems., , , , , and . FMCAD, page 81-89. IEEE, (2010)Efficient state space exploration: Interleaving stateless and state-based model checking., , and . ICCAD, page 786-793. IEEE, (2010)Circuit-based Boolean Reasoning., , and . DAC, page 232-237. ACM, (2001)Efficient Modeling of Embedded Memories in Bounded Model Checking., , and . CAV, volume 3114 of Lecture Notes in Computer Science, page 440-452. Springer, (2004)Localization and Register Sharing for Predicate Abstraction., , , and . TACAS, volume 3440 of Lecture Notes in Computer Science, page 397-412. Springer, (2005)