Peterson’s algorithm Total correctness proof in IPCL
The total correctness of the Peterson’s Algorithm has been proved. States and transitions were fixed by the program. Runtime environment considered is interleaving concurrency with shared memory. Invariant of the program was constructed. All reasoning provided in terms of Method for software propert...
Збережено в:
| Дата: | 2018 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2018
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/186 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |  |
Репозитарії
Problems in programmingСхожі ресурси
Correctness Property Proof for the Banking System for Money Transfer Payments
за авторством: Ostapovska, Yu.A., та інші
Опубліковано: (2018)
за авторством: Ostapovska, Yu.A., та інші
Опубліковано: (2018)
Equivalence of two parallel execution systems
за авторством: Panchenko, T.V., та інші
Опубліковано: (2018)
за авторством: Panchenko, T.V., та інші
Опубліковано: (2018)
Peterson’s Algorithm total correctness proof in IPCL
за авторством: Zhygallo, A.A.
Опубліковано: (2016)
за авторством: Zhygallo, A.A.
Опубліковано: (2016)
Peterson's Algorithm total correctness proof in IPCL
за авторством: A. A. Zhygallo
Опубліковано: (2016)
за авторством: A. A. Zhygallo
Опубліковано: (2016)
Formal verification of deep neural networks
за авторством: Panchuk, B.O.
Опубліковано: (2024)
за авторством: Panchuk, B.O.
Опубліковано: (2024)
The definition of formal languages in the meta language of normal forms of knowledge
за авторством: Kurgaev, A.F., та інші
Опубліковано: (2018)
за авторством: Kurgaev, A.F., та інші
Опубліковано: (2018)
Logics of quasiary predicates of quantifier-equational level
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2015)
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2015)
ANALYSIS OF MUTUAL CAPACITANCE AND INDUCTANCE OF PRINTED CIRCUIT
за авторством: Ivanov, V. G.
Опубліковано: (2014)
за авторством: Ivanov, V. G.
Опубліковано: (2014)
Algebraic modeling in international and local service logistical systems
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2021)
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2021)
Total global neighbourhood domination
за авторством: Siva Rama Raju, S. V., та інші
Опубліковано: (2018)
за авторством: Siva Rama Raju, S. V., та інші
Опубліковано: (2018)
THE METHOD FOR DETERMINING THE EFFECTIVE TOTAL LOAD SHEDDING FOR UNDER-FREQUENCY LOAD SHEDDING OF THE POWER SYSTEM
за авторством: Lytvynchuk, V., та інші
Опубліковано: (2025)
за авторством: Lytvynchuk, V., та інші
Опубліковано: (2025)
The translator of Petri-object model visual programming language
за авторством: Dyfuchyn, А.Yu.
Опубліковано: (2022)
за авторством: Dyfuchyn, А.Yu.
Опубліковано: (2022)
Peterson's Deformations of higher dimensional quadrics
за авторством: Dincă, I.I.
Опубліковано: (2010)
за авторством: Dincă, I.I.
Опубліковано: (2010)
Changes in the total ozone distribution in the atmosphere over Antarctica
за авторством: Grytsai, Asen, та інші
Опубліковано: (2016)
за авторством: Grytsai, Asen, та інші
Опубліковано: (2016)
Analysis of suitable converter for the implementation of drive system in solar photovoltaic panels
за авторством: Themozhi, G., та інші
Опубліковано: (2024)
за авторством: Themozhi, G., та інші
Опубліковано: (2024)
Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)
Models of concurrent program running in resource constrained environment
за авторством: Rahozin, D.V.
Опубліковано: (2020)
за авторством: Rahozin, D.V.
Опубліковано: (2020)
Sound interface design for blind PC users
за авторством: Ruvinskaya, V.M., та інші
Опубліковано: (2015)
за авторством: Ruvinskaya, V.M., та інші
Опубліковано: (2015)
Development of integrated system of scientific periodicals based on the OJS
за авторством: Kudim, K.A., та інші
Опубліковано: (2017)
за авторством: Kudim, K.A., та інші
Опубліковано: (2017)
Fundamental ecology in the context change of scientific paradigm
за авторством: Simonov, I., та інші
Опубліковано: (2018)
за авторством: Simonov, I., та інші
Опубліковано: (2018)
About geological theory
за авторством: Gordienko, V.V.
Опубліковано: (2022)
за авторством: Gordienko, V.V.
Опубліковано: (2022)
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)
ІНКРЕМЕНТНИЙ ЦИФРОВИЙ КВАЗІІДЕАЛ ІНТЕГРАТОР ЗАЯВКИ ПОПЕРЕДНЬОГО ПОТОКУ ОЦІНКИ КЕРУЮЧОЇ ІНДУКЦІЙНОЇ МАШИНИ
за авторством: Ustun, O., та інші
Опубліковано: (2008)
за авторством: Ustun, O., та інші
Опубліковано: (2008)
About one Approach for the Verification of Algebraic Computations
за авторством: Lvov, M.S.
Опубліковано: (2025)
за авторством: Lvov, M.S.
Опубліковано: (2025)
Regression testing: techniques and future research directions
за авторством: Moroz, H.B., та інші
Опубліковано: (2025)
за авторством: Moroz, H.B., та інші
Опубліковано: (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)
On a question of A. N. Skiba about totally saturated formations
за авторством: Safonov, Vasily G.
Опубліковано: (2018)
за авторством: Safonov, Vasily G.
Опубліковано: (2018)
ОЦІНКА ЕФЕКТИВНОСТІ ЗАСТОСУВАННЯ АЛЬФА-ЛІПОЄВОЇ КИСЛОТИ ТА ІПІДАКРИНУ ГІДРОХЛОРИДУ ДЛЯ ПРОФІЛАКТИКИ ПАКЛІТАКСЕЛ-ІНДУКОВАНОЇ ПЕРИФЕРИЧНОЇ НЕЙРОПАТІЇ ЗА ДАНИМИ ОЦІНОЧНОЇ ШКАЛИ TOTAL NEUROPATHY SCORE
за авторством: Holotiuk, I.S., та інші
Опубліковано: (2023)
за авторством: Holotiuk, I.S., та інші
Опубліковано: (2023)
Prospects for geothermal technologies implementation over Chernobyl exclusion zone
за авторством: Barylo, A.
Опубліковано: (2016)
за авторством: Barylo, A.
Опубліковано: (2016)
Modification of Peterson-Gorenstein-Zierler method, bringing the matrix to triangular form
за авторством: F. G. Fejziev, та інші
Опубліковано: (2018)
за авторством: F. G. Fejziev, та інші
Опубліковано: (2018)
The influence of partial deforestation on moisture regime: sums of precipitation and total soil moisture content for the territory of Ukraine based on data of numerical experiment LUMIP
за авторством: Pysarenko, L.A., та інші
Опубліковано: (2022)
за авторством: Pysarenko, L.A., та інші
Опубліковано: (2022)
DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
The software tool of constructive-synthesizing modeling
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2024)
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2024)
INFLUENCE OF рН AND Ca2+ IONS ON CHEMICAL COMPOSITION AND SORPTION OF 137Cs BY CHERKASY BENTONITES (UKRAINE)
за авторством: Шабалін, Б.Г., та інші
Опубліковано: (2024)
за авторством: Шабалін, Б.Г., та інші
Опубліковано: (2024)
Wild horse optimization algorithm implementation in 7-level packed U-cell multilevel inverter to mitigate total harmonic distortion
за авторством: Ebrahimi, F., та інші
Опубліковано: (2024)
за авторством: Ebrahimi, F., та інші
Опубліковано: (2024)
COMPONENTS OF TOTAL ELECTRIC ENERGY LOSSES POWER IN PQR SPATIAL COORDINATES
за авторством: Zhemerov, George G., та інші
Опубліковано: (2016)
за авторством: Zhemerov, George G., та інші
Опубліковано: (2016)
Formalization of the mathematical modeling process of adaptive change of code structure in wireless data transmission
за авторством: Horlynskyi, Borys V., та інші
Опубліковано: (2019)
за авторством: Horlynskyi, Borys V., та інші
Опубліковано: (2019)
Approximate method for calculating the magnetic field of 330-750 kV high-voltage power line in maintenance area under voltage
за авторством: Rozov, V. Yu., та інші
Опубліковано: (2022)
за авторством: Rozov, V. Yu., та інші
Опубліковано: (2022)
Methods and tools for developing an information system for validation of non-formal learning outcomes
за авторством: Pryima, S.M., та інші
Опубліковано: (2020)
за авторством: Pryima, S.M., та інші
Опубліковано: (2020)