Ziv Glazberg

Publication Activity (10 Years)

Years Active: 2005-2006
Publications (10 Years): 0

Publications

Janees Elamkulam, Ziv Glazberg, Ishai Rabinovitz, Gururaja Kowlali, Satish Chandra Gupta, Sandeep Kohli, Sai Dattathrani, Claudio Paniagua Macia
Detecting Design Flaws in UML State Charts for Embedded Software. Haifa Verification Conference (2006)
Sharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz
ExpliSAT: Guiding SAT-Based Software Verification with Explicit States. Haifa Verification Conference (2006)
Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz
Formal verification of concurrent software: two case studies. PADTAD (2006)
Sharon Barner, Ziv Glazberg, Ishai Rabinovitz
Wolf - Bug Hunter for Concurrent Software Using Formal Methods. CAV (2005)