Зображення обкладинки

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
Автор:	Zhygallo, A.A.
Формат:	Стаття
Мова:	Англійська
Опубліковано:	PROBLEMS IN PROGRAMMING 2018
Теми:	Peterson’s algorithm mutual exclusion software total correctness formal verification liveness property concurrent program interleaving IPCL composition-nominative languages UDC 004.415.52
Онлайн доступ:	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)

Equivalence of two parallel execution systems
за авторством: Panchenko, T.V., та інші
Опубліковано: (2018)

Peterson’s Algorithm total correctness proof in IPCL
за авторством: Zhygallo, A.A.
Опубліковано: (2016)

Peterson&#039;s Algorithm total correctness proof in IPCL
за авторством: A. A. Zhygallo
Опубліковано: (2016)

Models of concurrent program running in resource constrained environment
за авторством: Rahozin, D.V.
Опубліковано: (2020)

Formal verification of deep neural networks
за авторством: Panchuk, B.O.
Опубліковано: (2024)

Toward software artifacts ecosystem
за авторством: Sydorov, N.A.
Опубліковано: (2021)

Description model of programming style ecosystem
за авторством: Sydorov, N.A., та інші
Опубліковано: (2020)

Basics of programming in the context of software engineering
за авторством: Sydorov, М.О.
Опубліковано: (2019)

The translator of Petri-object model visual programming language
за авторством: Dyfuchyn, А.Yu.
Опубліковано: (2022)

Logics of quasiary predicates of quantifier-equational level
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2015)

Jupyter Notebook: a system for interactive scientific computing
за авторством: Yakimchik, A. I.
Опубліковано: (2019)

The definition of formal languages in the meta language of normal forms of knowledge
за авторством: Kurgaev, A.F., та інші
Опубліковано: (2018)

Representation of monadic effects in the non-monadic form
за авторством: Shevchenko, R.S.
Опубліковано: (2024)

The software tool of constructive-synthesizing modeling
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2024)

ANALYSIS OF MUTUAL CAPACITANCE AND INDUCTANCE OF PRINTED CIRCUIT
за авторством: Ivanov, V. G.
Опубліковано: (2014)

An approach of intelligent searching of information in texts
за авторством: Chebanuyk, O.V.
Опубліковано: (2023)

50 years of software engineering
за авторством: Sydorov, N.A.
Опубліковано: (2019)

Context term calculus for rewriting systems
за авторством: Shevchenko, R.S.
Опубліковано: (2018)

Semantics and pragmatics of programming language ASAMPL
за авторством: Sulema, Y.S., та інші
Опубліковано: (2020)

TermWare3 – term rewriting system, based on context-term calculus
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2019)

Algebraic modeling in international and local service logistical systems
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2021)

Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)

Peterson's Deformations of higher dimensional quadrics
за авторством: Dincă, I.I.
Опубліковано: (2010)

Development of integrated system of scientific periodicals based on the OJS
за авторством: Kudim, K.A., та інші
Опубліковано: (2017)

Embedding a family of logic languages with custom monadic unification in Scala
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2024)

Sound interface design for blind PC users
за авторством: Ruvinskaya, V.M., та інші
Опубліковано: (2015)

DS-theory. Scientific aspects and prospects for development
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)

Software engineering ontologies categorization
за авторством: Sydorov, N.A., та інші
Опубліковано: (2018)

The grammar of Petri-object model visual programming language
за авторством: Dyfuchyn, А.J., та інші
Опубліковано: (2022)

Component of programming. Theory and implementation
за авторством: Lavrischeva, K.M.
Опубліковано: (2015)

About geological theory
за авторством: Gordienko, V.V.
Опубліковано: (2022)

About one Approach for the Verification of Algebraic Computations
за авторством: Lvov, M.S.
Опубліковано: (2025)

Regression testing: techniques and future research directions
за авторством: Moroz, H.B., та інші
Опубліковано: (2025)

Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
за авторством: Guba, A.A.
Опубліковано: (2025)

Analysis of suitable converter for the implementation of drive system in solar photovoltaic panels
за авторством: Themozhi, G., та інші
Опубліковано: (2024)

Метод доведення властивостей програм в композиційно-номінативних мовах IPCL
за авторством: Панченко, Т.В.
Опубліковано: (2008)

Fundamental ecology in the context change of scientific paradigm
за авторством: Simonov, I., та інші
Опубліковано: (2018)

Features of building recommendation systems based on neural network technology using multithreading
за авторством: Komleva, N.O., та інші
Опубліковано: (2023)