Login / Signup
Shaheen Kousar
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Model Checker
Formal Verification
Top Venues
IEEE Access
</>
Publications
</>
Hamra Afzaal
,
Nazir Ahmad Zafar
,
Aqsa Tehseen
,
Shaheen Kousar
,
Muhammad Imran
Formal Verification of Justification and Finalization in Beacon Chain.
IEEE Access
12 (2024)