Skip to content
@kupl

Software Analysis Lab. @ Korea University

Popular repositories Loading

  1. VeriSmart-public VeriSmart-public Public

    a safety verifier for Solidity smart contracts

    OCaml 95 24

  2. VeriSmart-benchmarks VeriSmart-benchmarks Public

    Solidity 63 16

  3. AlphaRegexPublic AlphaRegexPublic Public

    OCaml 33 6

  4. ParaDySE ParaDySE Public

    C 33 7

  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

Repositories

Showing 10 of 68 repositories
  • diffink Public
    C++ 0 MIT 0 0 0 Updated Apr 17, 2025
  • kupl.github.io Public
    HTML 2 3 0 0 Updated Apr 17, 2025
  • erc-group2-framework Public
    Python 1 1 1 0 Updated Apr 10, 2025
  • PAFL Public
    C++ 0 MIT 0 0 0 Updated Feb 26, 2025
  • PAFL_Artifact Public
    C++ 0 0 0 0 Updated Jan 4, 2025
  • qupsy Public
    Python 0 MIT 0 0 0 Updated Dec 6, 2024
  • starlab-benchmarks Public

    Repository for Software STARLAB benchmarks

    Java 5 2 5 (2 issues need help) 0 Updated Nov 21, 2024
  • kaprese Public
    Python 16 MIT 0 6 0 Updated Nov 20, 2024
  • Verismart-verification-public Public
    Solidity 0 0 0 0 Updated Oct 14, 2024
  • PyinderArtifact Public

    Artifact for Pyinder accepted in ASE 2024

    Python 2 MIT 0 0 0 Updated Sep 10, 2024
View all repositories