Search Results - parallel (programs OR progress) (computer (programs OR progress)) verification.~

Work in Progress: Path-based Graph Partition for Parallel Hardware-accelerated Functional Verification by Lin, Peiying, Li, Kenli, Xiao, Zheng, Chen, Cen, Yu, Siyang

“… With the increasing scale of the circuit, it is urgent to divide the whole large scale circuit into some smaller sub-circuits so as to perform parallel functional verification on multiple hardware processors…”
Get full text

Practical Progress Verification of Descriptor-Based Non-Blocking Data Structures by Peterson, Christina, Cook, Victor, Dechev, Damian

“…; parallel processing; virtual machines; learning (artificial intelligence)…”
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

Analysis of existing parallel programs verification technologies by Olha Yuriivna Moroz, Olena Gennadiivna Tolstoluzka, Roman Valeriyovich Savchenko

“… It is noted that the implementation of the methods of formal verification of software of computer systems, which supplement the traditional methods of testing and debugging, and make it possible…”
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

Parallel Refinement for Multi-Threaded Program Verification by Yin, Liangze, Dong, Wei, Liu, Wanwei, Wang, Ji

“… Hence, designing parallel algorithms to improve the performance of concurrent program verification is highly desired…”
Get full text

Verifying temporal properties of programs: A parallel approach by Yu, Bin, Duan, Zhenhua, Tian, Cong, Zhang, Nan

“… To overcome them, this paper presents a parallel approach to verify full regular temporal properties of a program…”
Get full text

Perfectly parallel fairness certification of neural networks by Urban, Caterina, Christakis, Maria, Wüstholz, Valentin, Zhang, Fuyuan

“… In this paper, we propose a perfectly parallel static analysis for certifying fairness of feed-forward neural networks used for classification of tabular data…”
Get full text

A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model by Mironov, A. M.

“…This article presents a new mathematical model of parallel programs that can be used, in particular, for verification of parallel programs presented on a certain subset of the MPI parallel programming interface…”
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

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

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

Correct program parallelisations by Blom, S., Darabi, S., Huisman, M., Safari, M.

“…A commonly used approach to develop deterministic parallel programs is to augment a sequential program with compiler directives that indicate which program blocks may potentially be executed in parallel…”
Get full text

A Taxonomy and Qualitative Comparison of Program Analysis Techniques for Security Assessment of Android Software by Sadeghi, Alireza, Bagheri, Hamid, Garcia, Joshua, Malek, Sam

“…In parallel with the meteoric rise of mobile software, we are witnessing an alarming escalation in the number and sophistication of the security threats targeted at mobile platforms, particularly…”
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

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

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

Deductive Verification of Parallel Programs Using Why3 by Santos, César, Martins, Francisco, Thudichum Vasconcelos, Vasco

“…The Message Passing Interface specification (MPI) defines a portable message-passing API used to program parallel computers…”
Get full text

Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System by Kondratyev, D. A.

“…The C-lightVer system for deductive verification of C programs has been developed at the Institute of Informatics Systems of the Siberian Branch of the Russian Academy of Sciences (IIS SB RAS…”
Get full text

The use of erratic behavior templates in debugging parallel programs by the automated validity verification method by Vlasenko, A. Yu, Gudov, A. M.

“…A modification of the method of automated validity verification used in debugging parallel programs for computers with distributed memory is proposed…”
Get full text