Model Checking of C and C++ with DIVINE 4. - Zuzana Baranová; Jiri Barnat; Katarína Kejstová; Tadeás Kucera; Henrich Lauko; Jan Mrázek; Petr Rockai; Vladimír Still (ATVA, 2017)