Ultimate Kojak

MaRDI QIDQ35081swMATHFDO

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