WPDS++

swMATH33482MaRDI QIDQ45191FDOQ45191

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/11513988_17

Described by source

• Computer Aided Verification

Cited In (6)

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

This page was built for software: WPDS++