Calysto

MaRDI QIDQ43299swMATHFDO

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

Cited in

(16)

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

This page was built for software: Calysto