Statistics
Publications
1
Citations
60
H-Index
1
Active since
2005
Affiliations
IBM Research - Haifa(Current)
A. Dahan is an author at IBM Research - Haifa specializing in software verification, system software, and computer science.
Publications per year
2005–2005
1
1
Combining System Level Modeling with Assertion Based Verification
A. Dahan, Daniel Geist, L. Gluhovsky et al. · 2005 · 60 citations
Engineering, Hardware Verification Language, Verification +24
1–1 of 1