BINSEC/SE

swMATH28248MaRDI QIDQ39962FDOQ39962

Author name not available (Why is that?)

Official website: http://hal.univ-grenoble-alpes.fr/hal-01721502/document

Cited In (7)

• Not all bugs are created equal, but robust reachability can tell the difference
• Arrays made simpler: an efficient, scalable and thorough preprocessing
• GATeL
• PathCrawler
• OSMOSE
• TCAS
• Sharpening constraint programming approaches for bit-vector theory

This page was built for software: BINSEC/SE