Correctness Property Proof for the Banking System for Money Transfer Payments
The method for properties proof for parallel programs running multiple-instance interleaving with shared memory was applied in order to prove the correctness property of the banking system for remittances payments. The task was stated, transitional system was built for the model with simplified stat...
Збережено в:
| Дата: | 2018 |
|---|---|
| Автори: | , , , |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2018
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/187 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |  |
Репозитарії
Problems in programmingСхожі ресурси
Peterson’s algorithm Total correctness proof in IPCL
за авторством: Zhygallo, A.A.
Опубліковано: (2018)
за авторством: Zhygallo, A.A.
Опубліковано: (2018)
Equivalence of two parallel execution systems
за авторством: Panchenko, T.V., та інші
Опубліковано: (2018)
за авторством: Panchenko, T.V., та інші
Опубліковано: (2018)
Correctness Property Proof for the Banking System for Money Transfer Payments
за авторством: Yu. A. Ostapovska, та інші
Опубліковано: (2016)
за авторством: Yu. A. Ostapovska, та інші
Опубліковано: (2016)
Logics of quasiary predicates of quantifier-equational level
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2015)
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2015)
Formal verification of deep neural networks
за авторством: Panchuk, B.O.
Опубліковано: (2024)
за авторством: Panchuk, B.O.
Опубліковано: (2024)
Models of concurrent program running in resource constrained environment
за авторством: Rahozin, D.V.
Опубліковано: (2020)
за авторством: Rahozin, D.V.
Опубліковано: (2020)
The translator of Petri-object model visual programming language
за авторством: Dyfuchyn, А.Yu.
Опубліковано: (2022)
за авторством: Dyfuchyn, А.Yu.
Опубліковано: (2022)
The definition of formal languages in the meta language of normal forms of knowledge
за авторством: Kurgaev, A.F., та інші
Опубліковано: (2018)
за авторством: Kurgaev, A.F., та інші
Опубліковано: (2018)
Representation of monadic effects in the non-monadic form
за авторством: Shevchenko, R.S.
Опубліковано: (2024)
за авторством: Shevchenko, R.S.
Опубліковано: (2024)
Sound interface design for blind PC users
за авторством: Ruvinskaya, V.M., та інші
Опубліковано: (2015)
за авторством: Ruvinskaya, V.M., та інші
Опубліковано: (2015)
Basics of programming in the context of software engineering
за авторством: Sydorov, М.О.
Опубліковано: (2019)
за авторством: Sydorov, М.О.
Опубліковано: (2019)
Semantics and pragmatics of programming language ASAMPL
за авторством: Sulema, Y.S., та інші
Опубліковано: (2020)
за авторством: Sulema, Y.S., та інші
Опубліковано: (2020)
Algebraic modeling in international and local service logistical systems
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2021)
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2021)
Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)
Embedding a family of logic languages with custom monadic unification in Scala
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2024)
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2024)
Toward software artifacts ecosystem
за авторством: Sydorov, N.A.
Опубліковано: (2021)
за авторством: Sydorov, N.A.
Опубліковано: (2021)
Description model of programming style ecosystem
за авторством: Sydorov, N.A., та інші
Опубліковано: (2020)
за авторством: Sydorov, N.A., та інші
Опубліковано: (2020)
Development of integrated system of scientific periodicals based on the OJS
за авторством: Kudim, K.A., та інші
Опубліковано: (2017)
за авторством: Kudim, K.A., та інші
Опубліковано: (2017)
ANTHILL: a progressive formalization language for agent-supported software projects
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2026)
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2026)
Стохастична дифузія енергійних йонів у стелараторах типу Wendelstein
за авторством: Tykhyy, A. V.
Опубліковано: (2018)
за авторством: Tykhyy, A. V.
Опубліковано: (2018)
DS-theory. Scientific aspects and prospects for development
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)
Jupyter Notebook: a system for interactive scientific computing
за авторством: Yakimchik, A. I.
Опубліковано: (2019)
за авторством: Yakimchik, A. I.
Опубліковано: (2019)
Analysis of suitable converter for the implementation of drive system in solar photovoltaic panels
за авторством: Themozhi, G., та інші
Опубліковано: (2024)
за авторством: Themozhi, G., та інші
Опубліковано: (2024)
About geological theory
за авторством: Gordienko, V.V.
Опубліковано: (2022)
за авторством: Gordienko, V.V.
Опубліковано: (2022)
Component of programming. Theory and implementation
за авторством: Lavrischeva, K.M.
Опубліковано: (2015)
за авторством: Lavrischeva, K.M.
Опубліковано: (2015)
ІНКРЕМЕНТНИЙ ЦИФРОВИЙ КВАЗІІДЕАЛ ІНТЕГРАТОР ЗАЯВКИ ПОПЕРЕДНЬОГО ПОТОКУ ОЦІНКИ КЕРУЮЧОЇ ІНДУКЦІЙНОЇ МАШИНИ
за авторством: Ustun, O., та інші
Опубліковано: (2008)
за авторством: Ustun, O., та інші
Опубліковано: (2008)
The grammar of Petri-object model visual programming language
за авторством: Dyfuchyn, А.J., та інші
Опубліковано: (2022)
за авторством: Dyfuchyn, А.J., та інші
Опубліковано: (2022)
About one Approach for the Verification of Algebraic Computations
за авторством: Lvov, M.S.
Опубліковано: (2025)
за авторством: Lvov, M.S.
Опубліковано: (2025)
Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
за авторством: Guba, A.A.
Опубліковано: (2025)
за авторством: Guba, A.A.
Опубліковано: (2025)
Regression testing: techniques and future research directions
за авторством: Moroz, H.B., та інші
Опубліковано: (2025)
за авторством: Moroz, H.B., та інші
Опубліковано: (2025)
Friedrich von Hayek's concept of private money in times of expansion of electronic technologies in the international payment system
за авторством: O. H. Boiko
Опубліковано: (2019)
за авторством: O. H. Boiko
Опубліковано: (2019)
COLONIAL PICOFOSSIL'S OF PRECAMBRIAN HYME-NOPHACOIDES ROBLOT 1964: STAGES OF THEIR REPLICATION AS THE BASIC ARGUMENT OF THEIR BIOGENIC VERIFICATION
за авторством: LOPUKHIN, A. S., та інші
Опубліковано: (2011)
за авторством: LOPUKHIN, A. S., та інші
Опубліковано: (2011)
Heating system accumulative capability
за авторством: Bilodid V.D., та інші
Опубліковано: (2015)
за авторством: Bilodid V.D., та інші
Опубліковано: (2015)
Protection of information objects from intentional collisions of inspection characteristics in error-correcting codes
за авторством: Mаtоv, O. Y., та інші
Опубліковано: (2016)
за авторством: Mаtоv, O. Y., та інші
Опубліковано: (2016)
Matrix characterization of symmetry groups of boolean functions
за авторством: Jasionowski, Pawel
Опубліковано: (2018)
за авторством: Jasionowski, Pawel
Опубліковано: (2018)
Conceptual basis of invariant conversion systems bilinear modeling for the renewable energy systems
за авторством: Smirnov, V., та інші
Опубліковано: (2017)
за авторством: Smirnov, V., та інші
Опубліковано: (2017)
Theoretical fundamentals of structural-invariant systems of autonomous objects converting to renewable energy
за авторством: Smirnov, V., та інші
Опубліковано: (2016)
за авторством: Smirnov, V., та інші
Опубліковано: (2016)
Designing of the specialized computer system for making pulmonology diagnosis
за авторством: Komlevaya, N.O., та інші
Опубліковано: (2025)
за авторством: Komlevaya, N.O., та інші
Опубліковано: (2025)
DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)