Projects

Updated 9 months ago

Pure Demand Operational Semantics

abstract-interpretation coq interpreter ocaml operational-semantics program-analysis

Updated 9 months ago

🔨 Research & C++ implementation on abstract additive Quantum Decision Diagrams 📚

abstract-interpretation decision-diagram qasm quantum-computing

Updated 9 months ago

Static analysis framework for C

abstract-interpretation c ocaml program-analysis race-conditions race-detection software-verification static-analysis static-code-analysis

Updated 9 months ago

A ω-regular language inclusion checker

abstract-interpretation buchi-automata language-inclusion omega-regular-languages

ecosyste.ms