Searching for authors named "Cindy Eisner" – sorted by Relevance.
-
Real Value for Minimal Cost: Formal Verification of a Distributed Shared Memory Cache Coherence Protocol (A Case Study)
- Coherence Protocol (A Case Study) Cindy Eisner IBM Science and Technology Haifa Research Laboratory Haifa
- Cited by 1 (0 self) – Add To MetaCart
-
Formal verification of software source code through semi-automatic modeling
- Formal Verification of Software Source Code Through Semi-Automatic Modeling Cindy Eisner IBM Haifa
- Cited by 1 (1 self) – Add To MetaCart
-
Augmenting a Regular Expression-Based Temporal Logic with Local Variables
- Augmenting a Regular Expression-Based Temporal Logic with Local Variables Cindy Eisner IBM Haifa
- Add To MetaCart
-
Model Checking the Garbage Collection Mechanism of SMV
- Model Checking the Garbage Collection Mechanism of SMV Cindy Eisner IBM Haifa Research Laboratory
- Cited by 5 (4 self) – Add To MetaCart
-
Using Symbolic CTL Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and Heerhugowaard
- Eisner IBM Haifa Research Laboratory Matam Advanced Technology Center Haifa, 31905 Israel eisner
- Cited by 3 (2 self) – Add To MetaCart
-
Using Symbolic Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and Heerhugowaard
- -Kersenboogerd and Heerhugowaard Cindy Eisner IBM Haifa Research Laboratory Matam Advanced Technology Center Haifa, 31905 Israel
- Cited by 9 (3 self) – Add To MetaCart
-
Sugar 2.0 proposal presented to the Accellera Formal Verification Technical Committee
- Eisner1 Dana Fisman1;2 1 IBM Haifa Research Laboratory 2 Weizmann Institute of Science, Rehovot, Israel
- Cited by 13 (3 self) – Add To MetaCart
-
Structural Contradictions
- Structural Contradictions Cindy Eisner 1 and Dana Fisman 1,2 1 IBM Haifa Research Laboratory 2
- Add To MetaCart
-
Comparing Symbolic and Explicit Model Checking of a Software System
- Comparing Symbolic and Explicit Model Checking of a Software System Cindy Eisner 1 and Doron
- Cited by 3 (1 self) – Add To MetaCart
-
Efficient Detection of Vacuity in Temporal Model Checking
- -DAVID shoham@(email omitted); CINDY EISNER IBM Research Laboratory in Haifa, Israel YOAV RODEH IBM Research
- Cited by 20 (5 self) – Add To MetaCart

