Alternatives and similar repositories for riker:

Users that are interested in riker are comparing it to the libraries listed below

• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆26Updated this week
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 2 years ago
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆22Updated this week
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆35Updated 4 years ago
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆100Updated this week
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆138Updated 4 months ago
• flyvy-verifier / flyvy
  An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…
  ☆16Updated this week
• rems-project / cerberus
  Cerberus C semantics
  ☆60Updated this week
• uw-unsat / exoverifier
  ☆16Updated last year
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆100Updated 5 months ago
• 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…
  ☆88Updated 2 months ago
• uw-unsat / yggdrasil
  ☆31Updated 2 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 7 months ago
• sree314 / simple-abstract-interpreter
  A Simple Abstract Interpreter, built for teaching purposes
  ☆18Updated 4 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated last month
• CertiCoq / VeriFFI
  VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …
  ☆41Updated last month
• marxin / cvise
  Super-parallel Python port of the C-Reduce
  ☆264Updated last week
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆10Updated last week
• bpfverif / agni
  ☆20Updated 3 weeks ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆54Updated last year
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆53Updated last week
• descend-lang / descend
  An attempt at safe imperative GPU programming.
  ☆28Updated last month
• mars-research / redleaf
  RedLeaf Operating System
  ☆120Updated 2 years ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 2 years ago
• hopv / rust-horn
  RustHorn: A CHC-based automated verifier for Rust
  ☆74Updated 3 weeks ago
• parttimenerd / temci
  An advanced benchmarking tool
  ☆153Updated 2 years ago
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆73Updated 7 months ago
• compudj / librseq
  Library for Restartable Sequences
  ☆68Updated this week
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆73Updated 3 weeks ago