google-research / raksha

Related projects ⓘ

Alternatives and complementary repositories for raksha

• harp-lab / gdlog
  ☆75Updated 3 weeks ago
• google-research / pynsy
  Heavyweight Python dynamic analysis framework
  ☆13Updated 6 months ago
• caterinaurban / Lyra
  ☆30Updated 3 months ago
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆67Updated 5 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆57Updated 2 weeks ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆47Updated 2 weeks ago
• 95616ARG / pikos_popl2020
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Updated 4 years ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆66Updated 7 months ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• rems-project / cerberus
  Cerberus C semantics
  ☆53Updated this week
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆34Updated last year
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆56Updated last week
• cda-group / arc
  Programming Language for Continuous Deep Analytics
  ☆44Updated last year
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆45Updated last month
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆153Updated 2 weeks ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆29Updated last week
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 4 years ago
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆39Updated 2 weeks ago
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆35Updated last month
• kamahen / pykythe
  Generate code Python source cross-reference facts in Kythe format
  ☆21Updated last month
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆64Updated this week
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆112Updated 2 months ago
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆50Updated 3 months ago
• RafaelTupynamba / quicksampler
  Efficient Sampling of SAT Solutions for Testing
  ☆34Updated 5 years ago
• pcousot / slides
  slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021
  ☆14Updated last year
• kenmcmil / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆83Updated 3 months ago
• apl-cornell / viaduct
  An extensible compiler for cryptography.
  ☆20Updated this week
• paradise-fi / divine
  DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…
  ☆19Updated 3 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆46Updated 2 weeks ago
• ChezJrk / verified-scheduling
  ☆34Updated 6 months ago