An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates
Ivanov, Ievgen, Korniłowicz, Artur, Nikitchenko, Mykola
Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm
Ivanov, Ievgen, Nikitchenko, Mykola, Abraham, Uri
Kleene Algebra of Partial Predicates
Korniłowicz, Artur, Ivanov, Ievgen, Nikitchenko, Mykola
Partial Correctness of GCD Algorithm
Ivanov, Ievgen, Korniłowicz, Artur, Nikitchenko, Mykola
On Algebras of Algorithms and Specifications over Uninterpreted Data
Ivanov, Ievgen, Korniłowicz, Artur, Nikitchenko, Mykola
Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations
Ivanov, Ievgen, Nikitchenko, Mykola, Kryvolap, Andrii, Korniłowicz, Artur
On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data
Ivanov, Ievgen, Korniłowicz, Artur, Nikitchenko, Mykola