Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

SRI-CSL

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
@SRI-CSL

SRI International's Computer Science Laboratory

TheComputer Science Laboratory studies the logical foundations ofscalable systems that are beyond the scope of traditional testing orsimulation, and builds and applies efficient high-level tools forrigorous mechanical analysis. Current systems of interest include notonly traditional computer hardware and software, but also biologicalsystems and nanoelectronics.

PinnedLoading

  1. yices2yices2Public

    The Yices SMT Solver

    SMT 392 53

  2. gllvmgllvmPublic

    Whole Program LLVM: wllvm ported to go

    Go 312 34

  3. PVSPVSPublic

    The People's Verification System

    Common Lisp 146 34

  4. stegotorusstegotorusPublic

    A Camouflage Proxy for the Tor Anonymity System

    C++ 79 17

  5. sallysallyPublic

    A model checker for infinite-state systems.

    C++ 73 13

  6. libpolylibpolyPublic

    LibPoly is a C library for manipulating polynomials

    C 51 17

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 10 of 139 repositories
  • radler Public

    Radler

    SRI-CSL/radler’s past year of commit activity
    Python 8GPL-3.0 6 0 0 UpdatedMar 13, 2025
  • PVS Public

    The People's Verification System

    SRI-CSL/PVS’s past year of commit activity
    Common Lisp 146GPL-2.0 34 24 3 UpdatedMar 7, 2025
  • evocrypt Public

    EVOCrypt: EasyCrypt Verified OCaml Cryptographic Library

    SRI-CSL/evocrypt’s past year of commit activity
    eC 4MIT0 0 0 UpdatedFeb 24, 2025
  • zk-gen Public

    zk-gen: an OCaml platform for zero knowledge computations

    SRI-CSL/zk-gen’s past year of commit activity
    OCaml0MIT0 0 0 UpdatedFeb 12, 2025
  • yices2 Public

    The Yices SMT Solver

    SRI-CSL/yices2’s past year of commit activity
    SMT 392GPL-3.0 53 48 8 UpdatedJan 15, 2025
  • high-assurance-crypto Public

    This repository contains software for projects focusing on computer-aided verification of (distributed) cryptographic protocols and algorithms.

    SRI-CSL/high-assurance-crypto’s past year of commit activity
    eC 10 1 0 1 UpdatedJan 10, 2025
  • VCPublic Public

    Place to share snapshots of maude models

    SRI-CSL/VCPublic’s past year of commit activity
    Python 4 2 0 0 UpdatedDec 25, 2024
  • sally Public

    A model checker for infinite-state systems.

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

    LibPoly is a C library for manipulating polynomials

    SRI-CSL/libpoly’s past year of commit activity
    C 51LGPL-3.0 17 11 1 UpdatedDec 19, 2024
  • PVSPackrat Public

    PVS proofs for PEG grammars and Packrat parsers.

    SRI-CSL/PVSPackrat’s past year of commit activity
    3 3 1 0 UpdatedDec 18, 2024
[8]ページ先頭
©2009-2025 Movatter.jp