Ultimate Kojak

swMATH23308MaRDI QIDQ35081FDOQ35081

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-642-54862-8_36

Cited In (14)

• Efficient interpolation for the theory of arrays
• Fairness modulo theory: a new approach to LTL software model checking
• Cseq
• Lazy-CSeq
• FuncTion
• LTLAutomizer
• Ultimate
• CPAlien
• FrankenBit
• Jakstab
• MU-CSeq
• Skink
• Ultimate Taipan
• Combining model checking and data-flow analysis

This page was built for software: Ultimate Kojak