Searching for authors named "Cindy Eisner" – sorted by Relevance.
24 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
