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

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