WPDS++

swMATH33482MaRDI QIDQ45191FDOQ45191

Author name not available (Why is that?)

Described by source

• Computer Aided Verification

Cited In (2)

• Abstract interpretation of microcontroller code: intervals meet congruences
• Scalable and precise refinement of cache timing analysis via path-sensitive verification

This page was built for software: WPDS++