Software Analysis Lab. @ Korea University

Popular repositories Loading

1. VeriSmart-public VeriSmart-public Public

   a safety verifier for Solidity smart contracts

   OCaml 95 25

2. VeriSmart-benchmarks VeriSmart-benchmarks Public

   Solidity 69 18

3. AlphaRegexPublic AlphaRegexPublic Public

   OCaml 32 6

4. ParaDySE ParaDySE Public

   C 31 6

5. adapt adapt Public

   ADAPT is the open source white-box testing framework for deep neural networks

   Jupyter Notebook 22 5

6. kaprese kaprese Public

   Python 16