Gidon Ernst's repositories
verifythis2020
Material and solutions for the VerifyThis long term challenge 2020 https://verifythis.github.io
contract-lib
Contract-LIB proposal and tool-chain
AbstractDomain_ADT
Implementation of an abstract domain for algebraic data types
aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
boogie
Boogie
casino_artifacts
Companion repository with the artifacts to the Casino case study
cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
dafny
Dafny is a verification-aware programming language
legion-symcc
Fresh implementation of the Legion algorithm on top of SyMCC
scalac-wrapper
Simple demonstration how to use the Scala compiler to parse and typecheck source files
sv-benchmarks
Collection of Verification Tasks
verifythis.github.io
Website for VerifyThis 2020