Calysto

swMATH31588MaRDI QIDQ43299FDOQ43299

Authors scientific article; zbMATH DE number Author name (Why is no real title available?)

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

Cited in

(16)

• Integration of verification methods for program systems
• Leveraging compiler intermediate representation for multi- and cross-language verification
• Reveal
• Zap
• PiMaG
• NModel
• Joogie
• Empirical study of the anatomy of modern SAT solvers
• BoogiePL
• EUFORIA
• AGEDIS
• Cascade
• CIVL
• GraVy
• EUFORIA: complete software model checking with uninterpreted functions
• Loop Summarization Using Abstract Transformers

This page was built for software: Calysto