APS C++ User's Library by Letichevsky, A., Letichevsky, A.Jr., Peschanenko, V.

Get full text

Simple non-deterministic rewriting in verification by Letichevsky, A., Peschanenko, V.

Get full text

Satisfiability For Symbolic Verification in VRS by Letichevsky, A., Letichevskyi, A., Weigert, T., Peschanenko, V.

Get full text

The Non-Deterministic Strategy of Rewriting by Letichevsky, A.A., Letichevskyi, O.A., Peschanenko, V.S.

Get full text

Deductive verification of requirements for event-driven architecture by Letichevsky, A., Letychevskyi, О., Peschanenko, V., Guba, A.

Get full text

Survey on modern tools and methods of formal models verification by Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.

Get full text

Deductive verification of requirements for event-driven architecture by Letichevsky, A.A., Letichevsky, O.O., Peschanenko, V.S., Guba, A.A.

Get full text

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.

Get full text