Криволап Андрій Володимирович
асистент

Інформація

Посада: асистент
Науковий ступінь: кандидат фізико-математичних наук
Звання:
Аудиторія: 611
Телефон: 259-05-19
E-mail:
Наукові інтереси: формальні методи, верифікація програмного забезпечення, програмні логіки, теорія категорій

Публікації:

  1. Nikitchenko M., Kryvolap A. Properties of inference systems for Floyd-Hoare logic with partial predicates // Acta Electrotechnica et Informatica. - 2013, vol. 13, №4. - p. 70-78
  2. Kryvolap A., Nikitchenko M., Schreiner W. Extending Floyd-Hoare logic for partial pre- and postconditions // CCIS. - 2013, vol. 412. - pp. 355-378
  3. Kryvolap A., Nikitchenko M., Schreiner W. Program Algebras with Monotone Floyd-Hoare Composition // ICTERI 2013. - 2013. - p. 533-549
  4. Никитченко Н.С., Криволап А.В. Многосортная монотонная логика Флойда-Хоара // International Journal Information Theories and Applications, - 2013. vol. 20, №4, - p.331-341
  5. Никитченко Н.С., Криволап А.В. Семантичні властивості монотонних логік Флойда-Хоара // Вісник київського національного університету. - 2012, №3. - с.215-222