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.
  ☆39Updated 4 months ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 8 months ago
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆104Updated last week
• ltentrup / caqe
  CAQE is a solver for quantified Boolean formulas
  ☆34Updated 2 years ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆69Updated 3 weeks ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆149Updated 2 weeks ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆88Updated this week
• AeneasVerif / aeneas
  A verification toolchain for Rust programs
  ☆325Updated this week
• project-oak / silveroak
  Formal specification and verification of hardware, especially for security and privacy.
  ☆126Updated 3 years ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆84Updated last month
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆129Updated last month
• sambayless / monosat
  MonoSAT - An SMT solver for Monotonic Theories
  ☆113Updated 3 months ago
• mit-plv / riscv-coq
  RISC-V Specification in Coq
  ☆115Updated this week
• ufmg-smite / carcara
  ☆38Updated last week
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• hopv / rust-horn
  RustHorn: A CHC-based automated verifier for Rust
  ☆84Updated 4 months ago
• jix / varisat
  SAT solver written in Rust
  ☆270Updated 2 years 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…
  ☆93Updated last month
• logsem / iris-tutorial
  ☆52Updated 7 months ago
• mit-plv / riscv-semantics
  A formal semantics of the RISC-V ISA in Haskell
  ☆167Updated last year
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆100Updated this week
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated last year
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆76Updated this week
• model-checking / rust-lean-models
  Lean models of Rust libraries
  ☆18Updated 10 months ago
• leanprover-community / iris-lean
  Lean 4 port of Iris, a higher-order concurrent separation logic framework
  ☆104Updated this week
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆174Updated last week
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 9 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆50Updated 8 months ago
• dreal / dreal4
  Automated Reasoning in Nonlinear Theories of Reals
  ☆165Updated last year
• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆63Updated this week