A Lightweight Modeling and Verification Framework for Programs Over Weak Memory Models in an Algebraic Semantics Style.

Συγγραφείς: Xiao, Lili, Zhu, Huibiao, Bowen, Jonathan P.

Πηγή: Journal of Software: Evolution & Process; Jul2026, Vol. 38 Issue 7, p1-21, 21p

Θεματικοί όροι: Consistency models (Computers), Programming language semantics, Semantics methodology, ARM microprocessors, Parallel programs (Computer programs), Software verification

Fonmal Verification of Coarse-Grained Parallel Programs for Embedded Microelectronic Systems

Συγγραφείς: Pakharev, S.M., Syschikov, A.Y.

Πηγή: 2018 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF) Wave Electronics and its Application in Information and Telecommunication Systems (WECONF), 2018. :1-6 Nov, 2018

Relation: 2018 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF)

Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+.

Συγγραφείς: Xiao, Lili, Hou, Zhiru, Zhu, Huibiao, He, Mengda, Qin, Shengchao

Πηγή: Journal of Circuits, Systems & Computers; 1/15/2026, Vol. 35 Issue 1, p1-21, 21p

Θεματικοί όροι: Software verification, Computer architecture, Synchronization, Formal methods (Computer science), Formal languages, Parallel programs (Computer programs), Parallel processing

Preserving provability over GPU program optimizations with annotation-aware transformations.

Συγγραφείς: Şakar, Ömer, Safari, Mohsen, Huisman, Marieke, Wijs, Anton

Πηγή: Formal Methods in System Design; Dec2025, Vol. 67 Issue 3, p316-372, 57p

Θεματικοί όροι: Program transformation, Software verification, Optimization algorithms, Parallel programs (Computer programs), Scientific observation

Semantic-numerical approach to automatic synthesis of timeparamertized parallel programs

Συγγραφείς: Polyakov, Gennady, Lysykh, Vladimir, Lysykh, Konstantin, Tolstolujskaya, Elena, Tolstolujsky, Dmitry

Πηγή: 2016 11th International Forum on Strategic Technology (IFOST) Strategic Technology (IFOST), 2016 11th International Forum on. :379-384 Jun, 2016

Relation: 2016 11th International Forum on Strategic Technology (IFOST)

Development of parallel programs on shared data-structures -- Revised version

Συγγραφείς: Stølen, Ketil

Θεματικοί όροι: Computer Science - Formal Languages and Automata Theory

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2404.16624

Deductive Verification of Parallel Programs Using Why3

Συγγραφείς: Santos, César, Martins, Francisco, Vasconcelos, Vasco Thudichum

Πηγή: EPTCS 189, 2015, pp. 128-142

Θεματικοί όροι: Computer Science - Programming Languages, Computer Science - Distributed, Parallel, and Cluster Computing, D.2.4, F.3.1

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/1508.04856

Verification of JavaSpaces/spl trade/ parallel programs

Συγγραφείς: van de Pol, J., Espada, M.V.

Πηγή: Third International Conference on Application of Concurrency to System Design, 2003. Proceedings. Application of concurrency to system design Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on. :196-205 2003

Relation: International Conference on Application of Concurrency to System Design (ACSD'2003)

USING THE SPIN MODEL CHECKER FOR AUTO-TUNING HIGH-PERFORMANCE PROGRAMS.

Συγγραφείς: Gorlatch, Sergei, Garanina, Natalia, Staroletov, Sergey

Πηγή: Journal of Mathematical Sciences; May2025, Vol. 290 Issue 5, p641-653, 13p

Θεματικοί όροι: High performance computing, Parallel programs (Computer programs), OpenCL (Computer program language), Software verification, Program transformation, Mathematical optimization, Modeling languages (Computer science), Model validation

Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection.

Συγγραφείς: Moine, Alexandre¹ (AUTHOR) alexandre.moine@nyu.edu, Charguéraud, Arthur² (AUTHOR) arthur.chargueraud@inria.fr, Pottier, François³ (AUTHOR) francois.pottier@inria.fr

Πηγή: ACM Transactions on Programming Languages & Systems. Mar2025, Vol. 47 Issue 1, p1-71. 71p.

Θεματικοί όροι: Computer memory management, Parallel programs (Computer programs)

A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model

Συγγραφείς: Mironov, A. M.^{Aff1, IDS014641162207015X_cor1}

Πηγή: Automatic Control and Computer Sciences. 56(7):762-777

Load balanced parallel program verification on a shared memory machine

Συγγραφείς: Bijnens, S., Joosen, W., Berbers, Y.

Πηγή: 1993 Euromicro Workshop on Parallel and Distributed Processing Parallel and Distributed Processing, 1993. Proceedings. Euromicro Workshop on. :161-168 1993

Relation: 1993 Euromicro Workshop on Parallel and Distributed Processing

Compilation-semantic verification of time-parameterized multi-parallel programs for information management systems

Συγγραφείς: Ольга Мороз

Πηγή: Вісник Харківського національного університету імені В.Н. Каразіна. Серія: Математичне моделювання, інформаційні технології, автоматизовані системи управління, Vol 56, Pp 43-50 (2022)

Θεματικοί όροι: time-parameterized multi-parallel programs, verification of parallel programs, compilation-semantic verification, semantic-numerical specifications, Mathematics, QA1-939

Περιγραφή αρχείου: electronic resource

Relation: https://periodicals.karazin.ua/mia/article/view/27690; https://doaj.org/toc/2304-6201; https://doaj.org/toc/2524-2601

Σύνδεσμος πρόσβασης: https://doaj.org/article/9dd4de68c12049758598cfa9f526a7de

Verification of MPI programs

Συγγραφείς: Mironov, Andrew M.

Θεματικοί όροι: Computer Science - Logic in Computer Science, Computer Science - Programming Languages

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2110.08537

LLOR: Automated Repair of OpenMP Programs

Συγγραφείς: Bora, Utpal, Joshi, Saurabh, Muduganti, Gautam, Upadrasta, Ramakrishna

Θεματικοί όροι: Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Software Engineering

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2411.14590

Awaiting for Godot: stateless model checking that avoids executions where nothing happens.

Συγγραφείς: Jonsson, Bengt, Lång, Magnus, Sagonas, Konstantinos

Πηγή: Formal Methods in System Design; Oct2025, Vol. 67 Issue 1, p71-105, 35p

Θεματικοί όροι: Software verification, Parallel programs (Computer programs), Synchronization, Computer software execution

Extending High-Level Synthesis for Task-Parallel Programs

Συγγραφείς: Chi, Yuze, Guo, Licheng, Lau, Jason, Choi, Young-kyu, Wang, Jie, Cong, Jason

Θεματικοί όροι: Computer Science - Hardware Architecture

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2009.11389

An Innovative Heuristic to Detect Special States in Concurrent Software Systems.

Συγγραφείς: Pira, Einollah, Rouhi, Alireza

Πηγή: Quality & Reliability Engineering International; Dec2025, Vol. 41 Issue 8, p3686-3697, 12p

Θεματικοί όροι: Heuristic, Verification of computer systems, Software development tools, Computer performance, State-space methods, Software validation, Parallel programs (Computer programs)

Auto-Tuning High-Performance Programs Using Model Checking in Promela

Συγγραφείς: Garanina, Natalia, Staroletov, Sergey, Gorlatch, Sergei

Θεματικοί όροι: Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Logic in Computer Science

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2305.09130

Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL.

Συγγραφείς: Foster, Simon, Hur, Chung-Kil, Woodcock, Jim

Πηγή: ACM Transactions on Software Engineering & Methodology; May2025, Vol. 34 Issue 4, p1-40, 40p

Θεματικοί όροι: Software engineering, Semantics, Logic, Mathematical proofs, Simulation methods & models, Parallel programs (Computer programs), Interactive computer systems