jahierwan / lustre-examplesLinks
Some Lustre program examples
☆22Updated 2 months ago
Alternatives and similar repositories for lustre-examples
Users that are interested in lustre-examples are comparing it to the libraries listed below
Sorting:
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆105Updated this week
- SMTInterpol interpolating SMT solver☆68Updated last month
- The Git repository for the mCRL2 toolset.☆99Updated last week
- The LTSmin model checking toolset☆60Updated 10 months ago
- Synthesis Format Conversion Tool☆26Updated 2 weeks ago
- An ICE-based predicate synthesizer for Horn clauses.☆50Updated 3 months ago
- A Lustre compiler in Coq☆71Updated 3 months ago
- The DRAT-trim proof checker☆64Updated 10 months ago
- Qute: a dependency learning QBF solver.☆14Updated 9 months ago
- A fast and simple automata library☆26Updated this week
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated 2 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.☆31Updated 2 weeks ago
- ☆18Updated 2 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆36Updated 2 years ago
- SAT Solver SATCH☆119Updated 2 years ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated 2 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆78Updated last week
- Definition of the Viper intermediate verification language.☆89Updated this week
- A language for symbolic transitions system, inspired by Ivy.☆70Updated 3 weeks ago
- embedding MLIR in LEAN☆47Updated last year
- A hardware model checker for hyperproperties☆18Updated last year
- CAQE is a solver for quantified Boolean formulas☆34Updated 2 years ago
- ☆15Updated 4 years ago
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆19Updated last year
- ☆39Updated last week
- The opensmt solver☆89Updated last week
- ☆153Updated 3 weeks ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆31Updated this week