Skip to content
@SRI-CSL

SRI International's Computer Science Laboratory

SRI International's Computer Science Laboratory

The Computer Science Laboratory studies the logical foundations of scalable systems that are beyond the scope of traditional testing or simulation, and builds and applies efficient high-level tools for rigorous mechanical analysis. Current systems of interest include not only traditional computer hardware and software, but also biological systems and nanoelectronics.

Pinned Loading

  1. yices2 yices2 Public

    The Yices SMT Solver

    SMT 379 49

  2. gllvm gllvm Public

    Whole Program LLVM: wllvm ported to go

    Go 306 34

  3. PVS PVS Public

    The People's Verification System

    Common Lisp 142 32

  4. stegotorus stegotorus Public

    A Camouflage Proxy for the Tor Anonymity System

    C++ 79 17

  5. sally sally Public

    A model checker for infinite-state systems.

    C++ 69 13

  6. libpoly libpoly Public

    LibPoly is a C library for manipulating polynomials

    C 49 17

Repositories

Showing 10 of 139 repositories
  • yices2 Public

    The Yices SMT Solver

    SRI-CSL/yices2’s past year of commit activity
    SMT 379 GPL-3.0 49 45 5 Updated Dec 24, 2024
  • sally Public

    A model checker for infinite-state systems.

    SRI-CSL/sally’s past year of commit activity
    C++ 69 GPL-2.0 13 19 0 Updated Dec 20, 2024
  • libpoly Public

    LibPoly is a C library for manipulating polynomials

    SRI-CSL/libpoly’s past year of commit activity
    C 49 LGPL-3.0 17 11 1 Updated Dec 19, 2024
  • PVS Public

    The People's Verification System

    SRI-CSL/PVS’s past year of commit activity
    Common Lisp 142 GPL-2.0 32 24 3 Updated Dec 19, 2024
  • PVSPackrat Public

    PVS proofs for PEG grammars and Packrat parsers.

    SRI-CSL/PVSPackrat’s past year of commit activity
    2 3 1 0 Updated Dec 18, 2024
  • SRI-CSL/pvs-playground’s past year of commit activity
    0 0 0 0 Updated Dec 18, 2024
  • yices2_python_bindings Public

    Python bindings for yices2

    SRI-CSL/yices2_python_bindings’s past year of commit activity
    Python 10 MIT 5 1 0 Updated Dec 18, 2024
  • trinity-packet Public

    Code for model safeguards for packet-level DNN classifiers

    SRI-CSL/trinity-packet’s past year of commit activity
    Python 0 MIT 1 0 0 Updated Sep 19, 2024
  • radler Public

    Radler

    SRI-CSL/radler’s past year of commit activity
    Python 7 GPL-3.0 6 0 0 Updated Sep 12, 2024
  • SRI-CSL/yices2_ocaml_bindings’s past year of commit activity
    OCaml 11 GPL-3.0 3 0 0 Updated Sep 10, 2024