Sign in
Sumayya Shiraz
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 2
Top Topics
Term Rewriting
Theorem Prover
Automated Reasoning
Formal Verification
Top Venues
SBMF
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
</>
Publications
</>
Sumayya Shiraz
,
Osman Hasan
A Library for Combinational Circuit Verification Using the HOL Theorem Prover.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
37 (2) (2018)
Sumayya Shiraz
,
Osman Hasan
Formal Verification of n-bit ALU Using Theorem Proving.
SBMF
(2018)