funemy / SWORDLinks
SWORD: A Whole Program Race Detector for Java
☆13Updated 4 years ago
Alternatives and similar repositories for SWORD
Users that are interested in SWORD are comparing it to the libraries listed below
Sorting:
- egraph on top of sqlite☆11Updated 3 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Updated 4 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- Benchmark repository of polyglot effect handler examples☆24Updated last month
- An interface for using mwillsey/egg with math simplification.☆13Updated last year
- A benchmark for C program verification☆16Updated last year
- Cyclic theorem prover for equalitional reasoning using egraphs☆26Updated last year
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Updated 5 years ago
- An automated theorem prover for intuitionistic propostional logic☆12Updated 4 years ago
- An SMT Solver for strings☆10Updated 6 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Updated 7 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Updated 4 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- Dafny for Metatheory of Programming Languages☆25Updated 2 weeks ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated 9 months ago
- Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler☆11Updated 2 years ago
- Parser for the llvm bitcode format☆59Updated 2 months ago
- Formalization of Typed Assembly Language (TAL) in Coq☆17Updated last year
- GoNative project: formal machines models in Coq☆36Updated 7 years ago
- Haskell implementation of P4F Control-Flow Analysis☆21Updated 2 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 3 months ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- Dynamic analysis of multithreaded C programs☆13Updated 5 years ago
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆17Updated 3 weeks ago
- Staged Abstract Interpreters☆66Updated 2 years ago
- Fuzz testing for Dafny☆13Updated 2 years ago
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 2 years ago