nokia / web-assembly-self-certifying-compilation-frameworkLinks
☆13Updated 4 years ago
Alternatives and similar repositories for web-assembly-self-certifying-compilation-framework
Users that are interested in web-assembly-self-certifying-compilation-framework are comparing it to the libraries listed below
Sorting:
- IC3PO: IC3 for Proving Protocol Properties☆28Updated last year
- A language for symbolic transitions system, inspired by Ivy.☆70Updated 3 weeks ago
- The VerCors verification toolset for verifying parallel and concurrent software☆79Updated this week
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated 2 years ago
- Automatically generate a compiler using equality saturation☆30Updated last year
- The Eldarica model checker☆94Updated 2 weeks ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆115Updated this week
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Updated last year
- Libraries useful for Dafny programs☆45Updated last month
- Definition of the Viper intermediate verification language.☆89Updated this week
- Rewrite Rule Inference Using Equality Saturation☆137Updated 3 months ago
- Cyclic theorem prover for equalitional reasoning using egraphs☆26Updated last year
- Solver for Constrained Horn Clauses☆46Updated this week
- ☆39Updated this week
- The Gillian Platform main repository☆91Updated last week
- sketches for egg: a flexible, high-performance e-graph library☆28Updated last week
- Collection of Automated Reasoners☆32Updated 2 months ago
- ☆16Updated 3 years ago
- ☆41Updated 3 months ago
- TriCera: a model checker for C programs☆25Updated this week
- Collection of Distributed Protocol Verification Problems☆14Updated last year
- AE-solver and Skolemizer☆17Updated 9 months ago
- IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.☆60Updated 10 years ago
- An ICE-based predicate synthesizer for Horn clauses.☆50Updated 3 months ago
- Some unstructured notes concerning the Broad tutorial to take place in March 2020☆32Updated 4 years ago
- Binary analysis in HOL☆42Updated last week
- SymDiff-Differential-Program-Verifier☆37Updated last month
- Staged Abstract Interpreters☆68Updated 2 years ago
- ☆31Updated 3 weeks ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆42Updated 2 years ago