SouthThree's repositories
apollo
Apollo is a reliable configuration management system suitable for microservice configuration management scenarios.
ase2017-results-and-tools
The experimental results and tools for our submission to ASE 2017
code2inv
Code2Inv: Learning Loop Invariants for Program Verification
daikon
Dynamic detection of likely invariants
dig
A tool for generating nonline numerical invariants for C and Java programs. DIG uses dynamic analysis to infer invariants over program execution traces and applies symbolic execution to inferred invariants.
interview
📚 C/C++ 技术面试基础知识总结,包括语言、程序库、数据结构、算法、系统、网络、链接装载库等知识及面试经验、招聘、内推等信息。This repository is a summary of the basic knowledge of recruiting job seekers and beginners in the direction of C/C++ technology, including language, program library, data structure, algorithm, system, network, link loading library, interview experience, recruitment, recommendation, etc.
LinearArbitrary-SeaHorn
LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
LoopInvGen
Generates loop invariants for program verification
Pilat
Invariant generator for polynomial loops
zilu
Zilu is an open source invariant inference Framework