CIVL

MaRDI QIDQ46054swMATHFDO

Official website https://dl.acm.org/doi/10.1145/2807591.2807635

Cited in

(14)

• TASS_
• Cetus
• Joogie
• LOCKSMITH
• CoVaC
• ThreadSanitizer
• Kotlin
• Calysto
• Cascade
• GraVy
• Pyston
• PatEC
• Leveraging compiler intermediate representation for multi- and cross-language verification
• Practical abstractions for automated verification of shared-memory concurrency

This page was built for software: CIVL