Calysto
From MaRDI portal
Software:43299
swMATH31588MaRDI QIDQ43299FDOQ43299
Author name not available (Why is that?)
Cited In (5)
- EUFORIA: complete software model checking with uninterpreted functions
- Loop Summarization Using Abstract Transformers
- Empirical Study of the Anatomy of Modern Sat Solvers
- Integration of verification methods for program systems
- Leveraging compiler intermediate representation for multi- and cross-language verification
This page was built for software: Calysto
