Skip to content
View lucasccordeiro's full-sized avatar
49 followers · 49 following

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report lucasccordeiro

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
lucasccordeiro/README.md
  • GitHub stars GitHub All Releases ESBMC is a software model checker for detecting and proving the absence of runtime errors for C/C++, Kotlin, Python, and Solidity programs.

Popular repositories

  1. esbmc esbmc Public

    Forked from esbmc/esbmc

    The efficient SMT-based bounded model checker

    Haskell 1

  2. cbmc cbmc Public

    Forked from diffblue/cbmc

    C Bounded Model Checker

    C++

  3. sv-benchmarks sv-benchmarks Public

    Forked from sosy-lab/sv-benchmarks

    Collection of Verification Tasks

  4. dsverifier dsverifier Public

    Forked from ssvlab/dsverifier

    DSVerifier - Digital Systems Verifier

    C

  5. cprover-sv-comp cprover-sv-comp Public

    Forked from diffblue/cprover-sv-comp

    CPROVER wrappers and configuration for the Software Verification Competition (SV-COMP)

    PHP

  6. Map2Check Map2Check Public

    Forked from hbgit/Map2Check

    Memory Management Test Cases Generation of C Programs

    C