Ziv Glazberg

According to our database, Ziv Glazberg authored at least 4 papers between 2005 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Formal verification of concurrent software: two case studies.

Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz

Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, 2006

Detecting Design Flaws in UML State Charts for Embedded Software.

Janees Elamkulam, Ziv Glazberg, Ishai Rabinovitz, Gururaja Kowlali, Satish Chandra Gupta, Sandeep Kohli, Sai Dattathrani, Claudio Paniagua Macia

Proceedings of the Hardware and Software, 2006

ExpliSAT: Guiding SAT-Based Software Verification with Explicit States.

Sharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz

Proceedings of the Hardware and Software, 2006

2005

Wolf - Bug Hunter for Concurrent Software Using Formal Methods.

Sharon Barner, Ziv Glazberg, Ishai Rabinovitz

Proceedings of the Computer Aided Verification, 17th International Conference, 2005