kframework / javascript-semantics
KJS: A Complete Formal Semantics of JavaScript
☆85Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for javascript-semantics
- The K tools (deprecated, see README)☆146Updated 6 years ago
- WASM builds of the Z3 SMT solver☆141Updated 4 years ago
- A Prototype Formal Semantics of WebAssembly in K☆78Updated last week
- ECMAScript verification with SMT solvers☆124Updated 4 months ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆147Updated last month
- Lem semantic definition language☆130Updated 8 months ago
- Incremental Program Analysis Framework☆91Updated 3 years ago
- Semantics and tools for JavaScript☆90Updated 2 years ago
- An automated deductive program verifier.☆39Updated last year
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆196Updated 9 months ago
- The Gillian Platform main repository☆78Updated last week
- Communication between Coq and SAT/SMT solvers☆156Updated last month
- The symbolic execution engine powering the K Framework☆210Updated last week
- Dependent JavaScript: A Typed Dialect☆87Updated 11 years ago
- A web server written in Coq.☆86Updated 8 years ago
- Coq Support for Visual Studio Code☆92Updated 5 years ago
- A curated set of links to formal methods involving provable code.☆195Updated 2 years ago
- The Eldarica model checker☆80Updated 2 weeks ago
- T2 Temporal Prover☆93Updated 6 years ago
- authenticated data structures, generically☆50Updated 8 years ago
- PeaCoq is a pretty Coq, isn't it?☆106Updated 3 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 2 years ago
- Moonad: a Peer-to-Peer Operating System☆101Updated 4 years ago
- Refinement Types for Scripting Languages☆65Updated 5 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 10 years ago
- Verified Software Toolchain☆443Updated this week
- An in-memory datalog implementation for OCaml.☆261Updated 3 weeks ago
- CertiCrypt Coq Framework☆32Updated 8 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆126Updated last year