Home » Staff

Kryvolap Andrii Volodymyrovych

assistant

Candidate of Physical and Mathematical Sciences

611

521-33-45

andriikryvolap@knu-dot-ua

formal methods, software verification, software logic, category theory

Profiles in E-systems

Google Scholar
Scopus

Publications

  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. Nikitchenko M.S., Krivolap A.V. Floyd-Hoar Multisort Monotone Logic // International Journal Information Theories and Applications, – 2013. vol. 20, No. 4, – p. 313-341
  5. Nikitchenko M.S., Krivolap A.V. Semantic power of monotonous Floyd-Hoare logics // News of the Kyiv National University. – 2012, No. 3. – p. 215-222