Eli Singerman
Author
Alternate names E. Singerman, Eli Singerman
Institutions Israel Electric (Israel), Intel (Israel)
Past institutions Intel (Israel), Intel (United Kingdom), Israel Electric (Israel), Intel (United States), Weizmann Institute of Science +2 more
H-index: 11
I10-index: 12
Works count: 23
Citations count: 942
Translation validation
1998 · Amir Pnueli, Michael I. Siegel, et al. · Lecture notes in computer science
The ForSpec Temporal Logic: A New Temporal Property-Specification Language
2002 · Roy Armoni, Limor Fix, et al. · Lecture notes in computer science
Formal Verification of Backward Compatibility of Microcode
2005 · Tamarah Arons, Elad Elster, et al. · Lecture notes in computer science