Model checking a C++ software framework: a case study. - John Lång; I. S. W. B. Prasetya (ESEC/SIGSOFT FSE, 2019)