Igor Walukiewicz: Verifying Parametric Thread Creation. SOFSEM 2017: 11-14