Search Results - Parallel programs (Computer programs) Verification.

Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings by European Symposium on Programming, Sergey, Ilya, European Conferences on Theory and Practice of Software

“…This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich,…”
Get full text

Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings by European Symposium on Programming, Yoshida, Nobuko, European Conferences on Theory and Practice of Software

“…This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021,…”
Get full text

Safety Mechanism Design and Verification of Safety Computer Parallel Program by Zhang, Yuzhuo, Hong, Chunhua, Cao, Yuan, Ma, Lianchuan, Wen, Yinghong

“… Aiming at the parallel programs, a concurrent program safety management mechanism based on transactional memory is proposed…”
Get full text

CADP 2011: a toolbox for the construction and analysis of distributed processes by Garavel, Hubert, Lang, Frédéric, Mateescu, Radu, Serwe, Wendelin

“…CADP ( Construction and Analysis of Distributed Processes ) is a comprehensive software toolbox that implements the results of concurrency theory. Started in…”
Get full text

Automated Verification of Functional Correctness of Race-Free GPU Programs by Kojima, Kensuke, Imanishi, Akifumi, Igarashi, Atsushi

“…We study an automated verification method for functional correctness of parallel programs running on graphics processing units (GPUs…”
Get full text

Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings by Muller, Peter

“…This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland,…”
Get full text

Formal Analysis of Galois Field Arithmetic Circuits-Parallel Verification and Reverse Engineering by Yu, Cunxi, Ciesielski, Maciej

“… This paper presents a computer algebra technique that performs verification and reverse engineering of GF(<inline-formula> <tex-math notation="LaTeX">{2^{m}} </tex-math></inline-formula…”
Get full text

Parallel computational tree logic model‐checking on pushdown systems by Ye, Xin, Shi, Jianqi, Huang, Yanhong, Li, Qin, Wei, Hansheng, Chen, Xinyu

“…Summary Model checking and static analysis have been well studied for program verification…”
Get full text

Swarm Verification Techniques by Holzmann, G. J., Joshi, R., Groce, A.

“…The range of verification problems that can be solved with logic model checking tools has increased significantly in the last few decades…”
Get full text

Selenium WebDriver Quick Start Guide: Write Clear, Readable, and Reliable Tests with Selenium WebDriver 3 by Chaubal, Pinakin

“…Selenium WebDriver is a platform-independent API for automating testing of both browser and mobile applications. It is also a core technology in many other…”
Get full text

Compositional verification of asynchronous concurrent systems using CADP by Garavel, Hubert, Lang, Frédéric, Mateescu, Radu

“…During the last decades, concurrency theory successfully developed salient concepts to formally model and soundly reason about distributed and parallel systems…”
Get full text

A MapReduce-based parallel K-means clustering for large-scale CIM data verification by Deng, Chuang, Liu, Yang, Xu, Lixiong, Yang, Jie, Liu, Junyong, Li, Siguang, Li, Maozhen

“… This paper presents a parallel K‐means clustering algorithm for large‐scale CIM data verification…”
Get full text

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings by Ahmed, Amal

“…; types and effects; concurrency; security; program verification; program analysis and automated verification…”
Get full text

Ongoing verification of a multiphysics community code: FLASH by Dubey, Anshu, Weide, Klaus, Lee, Dongwook, Bachan, John, Daley, Christopher, Olofin, Samuel, Taylor, Noel, Rich, Paul M., Reid, Lynn B.

“… We describe the methodology for verification of FLASH, a highly capable multiphysics scientific application code with a wide user base…”
Get full text

Detecting harmful data races through parallel verification by Wu, Zhendong, Lu, Kai, Wang, Xiaoping, Zhou, Xu, Chen, Chen

“… The multicore technology trend worsens this problem. Unlike previous work, to detect the harmful races, we try to improve the efficiency through parallel verification…”
Get full text

Parallel program analysis on path ranges by Haltermann, Jan, Jakobs, Marie-Christine, Richter, Cedric, Wehrheim, Heike

“… More specifically, we present a verification approach that splits programs into path ranges and then runs arbitrary analyses on the ranges in parallel…”
Get full text

Anytime system level verification via parallel random exhaustive hardware in the loop simulation by Mancini, Toni, Mari, Federico, Massini, Annalisa, Melatti, Igor, Tronci, Enrico

“…System level verification of cyber-physical systems has the goal of verifying that the whole (i.e., software + hardware…”
Get full text

Efficient parallel reasoning on fuzzy goal models for run time requirements verification by Chatzikonstantinou, George, Kontogiannis, Kostas

“…As software applications become highly interconnected in dynamically provisioned platforms, they form the so-called systems-of-systems. Therefore, a key issue…”
Get full text

Chaining and Biasing: Test Generation Techniques for Shared-Memory Verification by Andrade, Gabriel A. G., Graf, Marleson, dos Santos, Luiz C. V.

“…Since nondeterministic behavior is key to exposing shared-memory errors, nonsynchronized parallel programs are often used for verification and test of multicore chips…”
Get full text

Compiling Parallel Symbolic Execution with Continuations by Wei, Guannan, Jia, Songlin, Gao, Ruiqi, Deng, Haotian, Tan, Shangyin, Bracevac, Oliver, Rompf, Tiark

“…Symbolic execution is a powerful program analysis and testing technique. Symbolic execution engines are usually implemented as interpreters, and the induced interpretation over-head can dramatically inhibit performance…”
Get full text