CIVL

swMATH34345MaRDI QIDQ46054FDOQ46054

Author name not available (Why is that?)

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

Cited In (14)

• PatEC
• TASS_
• Cetus
• Joogie
• LOCKSMITH
• CoVaC
• ThreadSanitizer
• Kotlin
• Calysto
• Cascade
• GraVy
• Pyston
• 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