Calysto
From MaRDI portal
swMATH31588MaRDI QIDQ43299FDOQ43299
Author name not available (Why is that?)
Official website: https://dl.acm.org/doi/10.1145/1368088.1368118
Cited In (15)
- EUFORIA: complete software model checking with uninterpreted functions
- Empirical study of the anatomy of modern SAT solvers
- Loop Summarization Using Abstract Transformers
- 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
