Open Science Harvester of NAS of Ukraine

APS C++ User's Library

by Letichevsky, A., Letichevsky, A.Jr., Peschanenko, V.
Published 2008

Simple non-deterministic rewriting in verification

by Letichevsky, A., Peschanenko, V.
Published 2010

Satisfiability For Symbolic Verification in VRS

by Letichevsky, A., Letichevskyi, A., Weigert, T., Peschanenko, V.
Published in Управляющие системы и машины (2013)

Deductive verification of requirements for event-driven architecture

by Letichevsky, A., Letychevskyi, О., Peschanenko, V., Guba, A.
Published in Проблеми програмування (2013)

The Non-Deterministic Strategy of Rewriting

by Letichevsky, A.A., Letichevskyi, O.A., Peschanenko, V.S.
Published in Управляющие системы и машины (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

Insertion modeling in distributed system design

by Letichevsky, A.A., Kapitonova, J.V., Letichevsky Jr, A.A., Kotlyarov, V.P., Nikitchenko, N.S., Volkov, V.A., Weigert, T.
Published 2008