Goanna

swMATH6980MaRDI QIDQ19043FDOQ19043

Author name not available (Why is that?)

Official website: http://rd.springer.com/chapter/10.1007%2F978-3-540-70952-7_20

Described by source

• Incremental false path elimination for static software analysis

Cited In (5)

• Counterexample guided path reduction for static program analysis
• Abstract interpretation of microcontroller code: intervals meet congruences
• Orion
• WPDS++
• Integrated and automated abstract interpretation, verification and testing of C/C++ modules

This page was built for software: Goanna