Popular repositories Loading

1. evm-dis evm-dis Public

   An EVM bytecode disassembler/assembler

   Dafny 49 8

2. yul-dafny yul-dafny Public

   Yul semantics and verification in Dafny

   Dafny 5 1

3. lets-prove-blocking-queue lets-prove-blocking-queue Public

   Forked from lemmy/lets-prove-blocking-queue

   Proving a blocking queue deadlock free in a dozen different ways

   TLA 2

4. scala-smtlib scala-smtlib Public

   Forked from regb/scala-smtlib

   SMT-LIB library for Scala

   SMT 1

5. dafny-cetus-math-256 dafny-cetus-math-256 Public

   A formal specification and proof of the infamous function checked_shlw

   Dafny 1

6. benchexec benchexec Public

   Forked from sosy-lab/benchexec

   BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

   Python