Cascade

swMATH34344MaRDI QIDQ46053FDOQ46053

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-642-54013-4_9

Cited In (10)

• Joogie
• Coverity
• Klocwork
• Kotlin
• Calysto
• CIVL
• GraVy
• Pyston
• Model checking boot code from AWS data centers
• Leveraging compiler intermediate representation for multi- and cross-language verification

This page was built for software: Cascade