Raanan Grinwald is an author at IBM Research - Haifa specializing in systems engineering, formal methods, and design verification.
Top concepts
DesignEngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware Analysis
Publications per year
1998–1998
1
1
User defined coverage---a tool supported methodology for design verification
Raanan Grinwald, Eran Harel, Michael Orgad et al. · 1998 · 84 citations · Full text
Rows per page
1–1 of 1