Login / Signup
Salam R. Zantout
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Pattern Mining
Modal Logic
Derivation Rules
Higher Level
Top Venues
DATE
</>
Publications
</>
Ahmed Nassar
,
Fadi J. Kurdahi
,
Salam R. Zantout
Topaz: Mining high-level safety properties from logic simulation traces.
DATE
(2016)