Alternatives and similar repositories for RTLola

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

• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆52Updated last month
• ltentrup / caqe
  CAQE is a solver for quantified Boolean formulas
  ☆36Updated 2 years ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆71Updated 4 months ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆92Updated last week
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆61Updated last year
• ufmg-smite / carcara
  ☆40Updated this week
• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆77Updated last month
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆116Updated this week
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆150Updated 7 months ago
• hopv / rust-horn
  RustHorn: A CHC-based automated verifier for Rust
  ☆89Updated 10 months ago
• cole-k / cc-lemma
  Refreshing automation for inductive equational proofs using e-graphs
  ☆24Updated last year
• leanprover / LNSym
  Armv8 Native Code Symbolic Simulator in Lean
  ☆96Updated 2 months ago
• nyu-acsys / raven
  An automated deductive program verifier based on concurrent separation logic
  ☆27Updated this week
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆126Updated last week
• 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…
  ☆102Updated last week
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Updated 9 months ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆103Updated this week
• aatxe / oxide
  The essence of Rust.
  ☆134Updated 3 years ago
• loonwerks / formal-methods-workbench
  ☆23Updated 2 years ago
• hopv / hoice
  An ICE-based predicate synthesizer for Horn clauses.
  ☆53Updated 3 months ago
• viperproject / mendel-verifier
  Capability-based verifier for safe Rust clients of interior mutability
  ☆15Updated last year
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆85Updated last week
• mit-plv / riscv-coq
  RISC-V Specification in Coq
  ☆116Updated 3 weeks ago
• sambayless / monosat
  MonoSAT - An SMT solver for Monotonic Theories
  ☆116Updated 10 months ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆68Updated last year
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆31Updated 2 months ago
• SRI-CSL / libpoly
  SRI LibPoly is a C library for manipulating polynomials
  ☆53Updated 2 months ago
• david-christiansen / ssft24
  ☆19Updated last year
• awslabs / rust-smt-ir
  ☆43Updated 7 months ago
• TiarkRompf / reachability
  ☆54Updated 3 months ago