Goanna

MaRDI QIDQ19043swMATHFDO

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