Software Analysis Lab. @ Korea University
Results
5
repositories owned by
Software Analysis Lab. @ Korea University
VeriSmart-public
83
Stars
23
Forks
Watchers
a safety verifier for Solidity smart contracts
adapt
20
Stars
5
Forks
Watchers
ADAPT is the open source white-box testing framework for deep neural networks