Alternatives and similar repositories for radler

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

• EngineeringSoftware / mcoq
  Mutation analysis tool for Coq verification projects
  ☆29Updated 4 years ago
• seahorn / seahorn-tutorial
  Supplementary files for SSFT 2015 summer school
  ☆11Updated 5 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆51Updated 7 months ago
• SRI-CSL / libpoly
  LibPoly is a C library for manipulating polynomials
  ☆51Updated last week
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆14Updated last month
• plasma-umass / Rehearsal
  Rehearsal: A Configuration Verification Tool for Puppet
  ☆11Updated 5 years ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆66Updated this week
• fadoss / maude-bindings
  Language bindings for Maude
  ☆23Updated 4 months ago
• eth-sri / proof-sharing
  CAV'22 paper to speed up Neural Network Verification.
  ☆14Updated 2 years ago
• SRI-CSL / sally
  A model checker for infinite-state systems.
  ☆75Updated 4 months ago
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆35Updated 11 months ago
• ge-high-assurance / VERDICT
  DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…
  ☆41Updated 8 months ago
• Practical-Formal-Methods / DeepSearch
  Reproduction Code for FSE Paper "DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks"
  ☆12Updated 4 years ago
• eytans / easter-egg
  easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
  ☆11Updated last month
• LS-Lab / Coq-dL
  A formally verified implementation of differential dynamic logic in Coq
  ☆17Updated 2 years ago
• coco-team / zustre
  A model checker and assume/guarantee contract generator for Lustre programs.
  ☆15Updated 6 years ago
• SRI-CSL / PVS
  The People's Verification System
  ☆151Updated last week
• JUrban / MPTP2
  ☆19Updated 8 years ago
• lu-cs-sde / metadl
  MetaDL: Datalog analyzing Datalog, Java or any language of your choice
  ☆16Updated 4 months ago
• SIGPLAN / SIGPLAN.github.io
  SIGPLAN website
  ☆11Updated last week
• wimmers / munta
  Fully verified model checker for realtime systems
  ☆16Updated 2 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated last year
• grigoryfedyukovich / aeval
  AE-solver and Skolemizer
  ☆17Updated 5 months ago
• viperproject / carbon
  Verification-condition-generation-based verifier for the Viper intermediate verification language.
  ☆30Updated 3 weeks ago
• INRIA / velus
  A Lustre compiler in Coq
  ☆68Updated last month
• opencompl / egg-tactic-code
  ☆16Updated last year
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆52Updated this week
• StarExec / StarExec
  StarExec is a cross community logic solving service
  ☆18Updated 10 months ago
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆109Updated 3 years ago
• GaloisInc / pirate
  Main repository for the Galois/Two Six Pirate Project for DARPA GAPS
  ☆4Updated 4 years ago