OSMOSE

MaRDI QIDQ33219swMATHFDO

Official website http://onlinelibrary.wiley.com/doi/10.1002/stvr.423/abstract

Cited in

(10)

• Transfer function synthesis without quantifier elimination
• CPBPV
• GATeL
• SANTE
• TCAS
• Jessie
• BINSEC/SE
• Refinement-based CFG reconstruction from unstructured programs
• Sharpening constraint programming approaches for bit-vector theory
• Clang Static Analyzer

This page was built for software: OSMOSE