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

2018 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF) Pub Date : 2018-11-01 DOI:10.1109/WECONF.2018.8604425

S. Pakharev, A. Syschikov

引用次数: 0

Abstract

This paper described formal verification of coarse-grained programs by example of programs created by VPL language at VIPE IDE. The article discusses methods that allow the verification of the program to identify the main errors specific to parallel programs.

查看原文本刊更多论文

嵌入式微电子系统粗粒度并行程序的形式化验证

本文以VPL语言在VIPE IDE上编写的程序为例，描述了粗粒度程序的形式化验证。本文讨论了允许对程序进行验证以识别特定于并行程序的主要错误的方法。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

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

自引率

0.00%

发文量