|
Search the dblp DataBase
Ziv Glazberg:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Sharon Barner, Ziv Glazberg, Ishai Rabinovitz
Wolf - Bug Hunter for Concurrent Software Using Formal Methods. [Citation Graph (0, 0)][DBLP] CAV, 2005, pp:153-157 [Conf]
- Sharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz
ExpliSAT: Guiding SAT-Based Software Verification with Explicit States. [Citation Graph (0, 0)][DBLP] Haifa Verification Conference, 2006, pp:138-154 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Haifa Verification Conference, 2006, pp:109-121 [Conf]
Formal verification of concurrent software: two case studies. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|