nokia / web-assembly-self-certifying-compilation-framework
☆11Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for web-assembly-self-certifying-compilation-framework
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- ☆15Updated 2 years ago
- IC3PO: IC3 for Proving Protocol Properties☆25Updated 2 months ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆81Updated this week
- Collection of Distributed Protocol Verification Problems☆12Updated 6 months ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆23Updated 11 months ago
- A language for symbolic transitions system, inspired by Ivy.☆66Updated 7 months ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated last week
- Rewrite Rule Inference Using Equality Saturation☆118Updated 5 months ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- Cyclic theorem prover for equalitional reasoning using egraphs☆24Updated last year
- Program Synthesis☆12Updated 3 years ago
- Compositional Verification of Composite Byzantine Protocols☆11Updated 2 months ago
- A program synthesis framework for verified lifting applications☆39Updated 3 weeks ago
- ☆24Updated 8 months ago
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 2 years ago
- A translation validation framework for MLIR☆73Updated last week
- ☆13Updated 4 years ago
- PolyGen is a code generator for the polyhedral model, written and proved in Coq.☆10Updated 4 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 2 years ago
- Python3 auto-active verification library (migrated to an Intel project)☆24Updated 2 years ago
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆16Updated 2 years ago
- ☆11Updated this week
- An ICE-based predicate synthesizer for Horn clauses.☆49Updated 7 months ago
- ☆14Updated 2 years ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆14Updated 2 months ago
- Automatically generate a compiler using equality saturation☆26Updated 7 months ago
- The Gillian Platform main repository☆78Updated this week
- sketches for egg: a flexible, high-performance e-graph library☆25Updated 5 months ago
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago