Sumayya Shiraz

According to our database¹, Sumayya Shiraz authored at least 2 papers in 2018.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2018

A Library for Combinational Circuit Verification Using the HOL Theorem Prover.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Formal Verification of n-bit ALU Using Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018