Partial evaluation in insertion modeling system

von Peschanenko, V.
Veröffentlicht 2013

Simple non-deterministic rewriting in verification

von Letichevsky, A., Peschanenko, V.
Veröffentlicht 2010

Use of metods of algebraic programming for the formal verification of legal acts

von Peschanenko, V., Poltorackiy, M.
Veröffentlicht 2018

Simple non-deterministic rewriting in verification

von Letichevsky, A., Peschanenko, V.
Veröffentlicht 2010

Satisfiability For Symbolic Verification in VRS

von Letichevsky, A., Letichevskyi, A., Weigert, T., Peschanenko, V.
Veröffentlicht 2013

APS C++ User's Library

von Letichevsky, A., Letichevsky, A.Jr., Peschanenko, V.
Veröffentlicht 2008

Algebraic approach to the analysis of legal documents

von Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu.
Veröffentlicht 2022

The Non-Deterministic Strategy of Rewriting

von Letichevsky, A.A., Letichevskyi, O.A., Peschanenko, V.S.
Veröffentlicht 2013

Deductive verification of requirements for event-driven architecture

von Letichevsky, A., Letychevskyi, О., Peschanenko, V., Guba, A.
Veröffentlicht 2013

Deductive verification of requirements for event-driven architecture

von Letichevsky, A., Letychevskyi, О., Peschanenko, V., Guba, A.
Veröffentlicht 2013

Formal semantics and analysis of tokenomics properties

von Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.
Veröffentlicht 2022