Functional verification of power gated designs by compositional reasoning
- Cindy Eisner
- Amir Nahir
- et al.
- 2009
- Formal Methods in System Design
Publications
Date
Featured collections
Popular topics
16 results for Cindy Eisner
Formal verification of software source code through semi-automatic modeling
- Cindy Eisner
- 2005
- Software and Systems Modeling
Model checking at IBM
- Shoham Ben-David
- Cindy Eisner
- et al.
- 2003
- Formal Methods in System Design
Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and Heerhugowaard
- Cindy Eisner
- 2002
- International Journal on Software Tools for Technology Transfer
Efficient detection of vacuity in temporal model checking
- Ilan Beer
- Shoham Ben-David
- et al.
- 2001
- Formal Methods in System Design
On the effective deployment of functional formal verification
- Yael Abarbanel-Vinov
- Neta Aizenbud-Reshef
- et al.
- 2001
- Formal Methods in System Design