Skip to content

@SRI-CSL SRI International's Computer Science Laboratory

All

    Repositories list

    19 repositories

    • yices2_java_bindings

      Public
      Java bindings for Yices 2.
      C++
      •
      MIT License
      •6•6•2•0•Updated Apr 30, 2026Apr 30, 2026

    • sally

      Public
      SRI Sally: A model checker for infinite-state systems.
      verificationic3model-checker
      verificationic3model-checkertransition-systemsk-inductionbounded-model-checking
      C++
      •
      GNU General Public License v2.0
      •15•79•18•1•Updated Jul 31, 2025Jul 31, 2025

    • wiztoolkit-ocaml-bindings

      Public
      OCaml bindings for the Wiztoolkit toolset
      C++
      •
      MIT License
      •1•1•0•0•Updated Aug 2, 2024Aug 2, 2024

    • solidity

      Public
      This is solc-verify, a modular verifier for Solidity.
      ethereumsolidityformal-verification
      ethereumsolidityformal-verificationformal-specification
      C++
      •
      GNU General Public License v3.0
      •6.2k•53•46•0•Updated Sep 5, 2023Sep 5, 2023

    • OCCAM

      Public
      OCCAM: Object Culling and Concretization for Assurance Maximization
      llvmstatic-analysisabstract-interpretation
      llvmstatic-analysisabstract-interpretationpointer-analysispartial-evaluatorsdebloatingdelayering
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •16•27•5•0•Updated Jun 22, 2023Jun 22, 2023

    • clam-prov

      Public
      Provenance Tracking with Clam
      C++
      •1•5•3•0•Updated Apr 13, 2023Apr 13, 2023

    • filia

      Public
      Translate Python and JavaScript into MLIR
      C++
      •
      Other
      •2•20•1•0•Updated Aug 27, 2022Aug 27, 2022

    • safedocs-meow

      Public
      SafeDocs TA1 `meow` tool for format-aware tracing of memory events based on Intel Pin
      C++
      •
      MIT License
      •1•1•0•0•Updated May 6, 2022May 6, 2022

    • cryptominisat

      Public
      An advanced SAT Solver
      C++
      •
      Other
      •205•1•0•0•Updated Apr 3, 2020Apr 3, 2020

    • cadical

      Public
      CaDiCaL SAT Solver
      C++
      •
      MIT License
      •189•2•0•0•Updated Mar 31, 2020Mar 31, 2020

    • io-specialization

      Public
      Specialization of IO system calls
      C++
      •6•3•0•0•Updated Aug 9, 2019Aug 9, 2019

    • stoke

      Public
      STOKE: A stochastic superoptimizer and program synthesizer
      C++
      •
      Apache License 2.0
      •84•2•0•0•Updated Mar 14, 2019Mar 14, 2019

    • z3

      Public
      Spacer (Constrained Horn Clauses Solver used by SeaHorn)
      C++
      •
      Other
      •1.7k•1•0•0•Updated Dec 20, 2018Dec 20, 2018

    • mcsema

      Public
      Framework for lifting x86, amd64, and aarch64 program binaries to LLVM bitcode
      C++
      •
      Apache License 2.0
      •350•0•0•0•Updated Aug 25, 2018Aug 25, 2018

    • llpe

      Public
      C++
      •
      Other
      •10•1•0•0•Updated May 12, 2018May 12, 2018

    • ros_comm

      Public
      ROS communications-related packages, including core client libraries (roscpp, rospy, roslisp) and graph introspection tools (rostopic, rosnode, rosservice, rosp…
      C++
      •919•1•0•1•Updated Aug 16, 2017Aug 16, 2017

    • _ros_comm

      Public
      ros_comm is a forked version of ros_comm for Secure ROS.
      C++
      •3•2•2•0•Updated Apr 24, 2017Apr 24, 2017

    • stegotorus

      Public
      A Camouflage Proxy for the Tor Anonymity System
      C++
      •
      Other
      •16•87•1•0•Updated Jul 22, 2015Jul 22, 2015

    • klee-with-yices

      Public
      KLEE Symbolic Virtual Machine
      C++
      •
      Other
      •737•3•1•0•Updated Apr 20, 2015Apr 20, 2015
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.