Pinned Loading

1. sosy-lab/benchexec sosy-lab/benchexec Public

   BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

   Python 274 221

2. sosy-lab/sv-comp sosy-lab/sv-comp Public archive

   Information to reproduce results from SV-COMP (MOVED, please follow the link)

   15 50

3. ftsrg/theta ftsrg/theta Public

   Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

   Java 58 47