OSMOSE

swMATH21412MaRDI QIDQ33219FDOQ33219

Author name not available (Why is that?)

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

Cited In (9)

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

This page was built for software: OSMOSE