doganulus / montre
The original timed regular expression matcher over temporal behaviors
☆15Updated last year
Related projects ⓘ
Alternatives and complementary repositories for montre
- ☆19Updated 7 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.☆18Updated 8 months ago
- miniKanren with a first-order representation of the search space☆16Updated 3 months ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆67Updated last year
- The Cubicle model checker☆13Updated 8 months ago
- Programming language based on the synchronous and constraint paradigms☆15Updated 4 years ago
- Racket bindings for Z3☆19Updated 12 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 3 years ago
- Python term rewriting☆27Updated 11 years ago
- The LTSmin model checking toolset☆53Updated 3 weeks ago
- ☆34Updated 4 years ago
- Fully proved small C functions (examples for verification course).☆16Updated 7 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- An automated theorem prover for intuitionistic propostional logic☆12Updated 4 years ago
- A synthesis-enabled solver for relational logic☆27Updated 6 years ago
- SPARK 2014 repository for the Why3 verification platform.☆29Updated 2 weeks ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆48Updated 3 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆48Updated 4 years ago
- αProlog☆17Updated last year
- An experimental typed version of the Rosette language☆13Updated 6 years ago
- ☆43Updated 4 months ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- Lifting Reduction Semantics through Syntactic Sugar☆13Updated 6 years ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Updated last year
- ☆10Updated 5 years ago
- ☆16Updated 5 months ago
- A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.☆20Updated 9 years ago
- JVM Abstracting Abstract Machine☆25Updated 5 years ago