SRI International's Computer Science Laboratory

Pinned

1. yices2 Public

   The Yices SMT Solver

   SMT 293 38

2. gllvm Public

   Whole Program LLVM: wllvm ported to go

   Go 168 30

3. PVS Public

   The People's Verification System

   Common Lisp 89 27

4. stegotorus Public

   A Camouflage Proxy for the Tor Anonymity System

   C++ 68 17

5. sally Public

   A model checker for infinite-state systems.

   C++ 56 13

6. l3riscv Public

   An executable specification of the RISCV ISA in L3.

   Ruby 37 11