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
- 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 this week
- Collection of Distributed Protocol Verification Problems☆12Updated 6 months 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
- benchmarking e-graph extraction☆34Updated this week
- A synthesis-enabled solver for relational logic☆27Updated 6 years ago
- Rewrite Rule Inference Using Equality Saturation☆118Updated 5 months ago
- IC3PO: IC3 for Proving Protocol Properties☆25Updated 2 months ago
- A translation validation framework for MLIR☆73Updated 2 weeks ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆80Updated this week
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆23Updated 11 months ago
- A program synthesis framework for verified lifting applications☆39Updated last week
- A minimal development of SSA theory☆88Updated this week
- Gallina to Bedrock2 compilation toolkit☆50Updated last month
- Python3 auto-active verification library (migrated to an Intel project)☆24Updated 2 years ago
- The Gillian Platform main repository☆78Updated last week
- Program Synthesis☆13Updated 3 years ago
- Staged Abstract Interpreters☆65Updated last year
- ☆37Updated 6 months ago
- egraph on top of sqlite☆12Updated 2 years ago
- An extensible compiler for cryptography.☆20Updated this week
- Cerberus C semantics☆53Updated this week
- Formal specification and verification of hardware, especially for security and privacy.☆124Updated 2 years ago
- Pono: A flexible and extensible SMT-based model checker☆80Updated 3 weeks ago
- GPU model checker☆11Updated 5 years ago
- ☆24Updated 8 months ago
- TriCera: a model checker for C programs☆18Updated this week