On-the-fly decomposition of specifications in software model checking. - Sven Apel; Dirk Beyer 001; Vitaly O. Mordan; Vadim S. Mutilin; Andreas Stahlbauer (SIGSOFT FSE, 2016)

Checking several requirements at once by CEGAR. - Vitaly O. Mordan; Vadim S. Mutilin (Program. Comput. Softw., 2016)