Schema Checking, Structure Verification, Binary Analysis, Preservation Tools
OpenBAS-Platform/openbas
github.com·6h
Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
arxiv.org·5d
Loading...Loading more...