reactive-systems / RTLolaLinks
☆10Updated 4 years ago
Alternatives and similar repositories for RTLola
Users that are interested in RTLola are comparing it to the libraries listed below
Sorting:
- ☆23Updated 2 years ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆116Updated last week
- SMTscope automatically analyses and visualises SMT solver execution traces.☆55Updated 2 months ago
- A Modern Probabilistic Model Checker☆160Updated last week
- The LTSmin model checking toolset☆61Updated last year
- Definition of the Viper intermediate verification language.☆95Updated this week
- CAQE is a solver for quantified Boolean formulas☆36Updated 2 years ago
- Concurrent decision diagram framework written in Rust☆77Updated 2 months ago
- RustHorn: A CHC-based automated verifier for Rust☆89Updated 10 months ago
- ☆40Updated last week
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆19Updated last year
- MonoSAT - An SMT solver for Monotonic Theories☆116Updated 10 months ago
- A language for symbolic transitions system, inspired by Ivy.☆71Updated 5 months ago
- Automated Reasoning in Nonlinear Theories of Reals☆179Updated last week
- Communication between Coq and SAT/SMT solvers☆164Updated last week
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆148Updated this week
- The essence of Rust.☆134Updated 3 years ago
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆128Updated last week
- Hanoi Omega-Automata Format☆15Updated 3 years ago
- ☆70Updated 5 months ago
- The opensmt solver☆91Updated 3 weeks ago
- ☆73Updated 3 months ago
- The Git repository for the mCRL2 toolset.☆103Updated this week
- a Rust implementation of first-order term rewriting systems (TRS)☆28Updated 4 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 4 months ago
- Library implementing type inference/checking functionality based on the Lean theorem prover☆94Updated last month
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆103Updated 2 weeks ago
- An automated theorem prover that uses Büchi automata.☆44Updated 4 years ago
- An ICE-based predicate synthesizer for Horn clauses.☆53Updated 3 months ago