The Non-Deterministic Strategy of Rewriting

by Letichevsky, A.A., Letichevskyi, O.A., Peschanenko, V.S.
Published 2013

Deductive verification of requirements for event-driven architecture

by Letichevsky, A.A., Letichevsky, O.O., Peschanenko, V.S., Guba, A.A.
Published 2025

Survey on modern tools and methods of formal models verification

by Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.
Published 2015