SL-COMP: Competition of Solvers for Separation Logic

Mihaela Sighireanu, Juan A. Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomas VojnarConstantin Enea, Ondrej Lengal, Chong Gao, Zhilin Wu

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    95 Downloads (Pure)


    Dive into the research topics of 'SL-COMP: Competition of Solvers for Separation Logic'. Together they form a unique fingerprint.

    Arts & Humanities