Login / Signup
Chaïmaa Benabbou
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 2
Top Topics
Real World
Formal Verification
Similar Problems
Symbolic Execution
Top Venues
CoRR
BCCA
</>
Publications
</>
Chaïmaa Benabbou
,
Önder Gürcan
A Survey of Verification, Validation and Testing Solutions for Smart Contracts.
BCCA
(2021)
Chaïmaa Benabbou
,
Önder Gürcan
A Survey of Verification, Validation and Testing Solutions for Smart Contracts.
CoRR
(2021)