Ultimate Kojak

swMATH ID: 23308
Software Authors: Ermis, E., Nutz, A., Dietsch, D., Hoenicke, J., Podelski, A.
Description: Ultimate kojak. Ultimate Kojak is a symbolic software model checker for C programs. It is based on CEGAR and Craig interpolation. The basic algorithm, described in an earlier work [1], was extended to be able to deal with recursive programs using nested word automata and nested (tree) interpolants.
Homepage: https://link.springer.com/chapter/10.1007/978-3-642-54862-8_36
Related Software: CPAchecker; SMTInterpol; BLAST; AProVE; CBMC; Ultimate Taipan; Skink; Ultimate Automizer; CEGAR; MU-CSeq; Symbiotic 2; CPAlien; Jakstab; FrankenBit; Lazy-CSeq; ASTREE; SatAbs; Orion; Threader; Predator
Cited in: 3 Publications

Standard Articles

1 Publication describing the Software Year
Ultimate kojak. (Competition contribution)
Ermis, Evren; Nutz, Alexander; Dietsch, Daniel; Hoenicke, Jochen; Podelski, Andreas

Cited in 0 Serials

Citations by Year