Formal Verification of Programs in the Functional Data-flow Parallel Language

M. S. Kropacheva; A. I. Legalov

首页> 外文期刊>Automatic Control and Computer Sciences >Formal Verification of Programs in the Functional Data-flow Parallel Language

【24h】

Formal Verification of Programs in the Functional Data-flow Parallel Language

机译：用功能数据流并行语言对程序进行形式验证

获取原文

获取原文并翻译 | 示例

获取外文期刊封面封底 >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

The article is devoted to the methods of proving parallel programs correctness, that are based on the axiomatic approach. Formal system for functional data-flow parallel programming language Pifagor is described. On the basis of this system programs correctness could be proved.

机译：本文致力于基于公理方法的证明并行程序正确性的方法。描述了用于功能数据流并行编程语言Pifagor的正式系统。在此系统的基础上，可以证明程序的正确性。

著录项

来源
《Automatic Control and Computer Sciences》 |2013年第7期|共12页
作者
M. S. Kropacheva; A. I. Legalov;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类自动控制理论;
关键词
Functional data-flow parallel programming; Pifagor programming language; Programs formal verification;

机译：功能数据流并行编程;Pifagor编程语言;程序形式验证;

相似文献

外文文献
中文文献
专利

1. Formal Verification of Programs in the Functional Data-flow Parallel Language [J] . M. S. Kropacheva, A. I. Legalov Automatic Control and Computer Sciences . 2013,第7期

机译：用功能数据流并行语言对程序进行形式验证
2. Formal verification of synchronous data-flow program transformations toward certified compilers [J] . Van Chan NGO, Jean-Pierre TALPIN, Thierry GAUTIER, Frontiers of computer science in China . 2013,第5期

机译：正式验证同步数据流程序向认证编译器的转换
3. Formal verification of a programming logic for a distributed programming language [J] . Cui Zhang, Ronald A. Olsson, Karl N. Levitt Theoretical computer science . 1999,第1a2期

机译：对分布式编程语言的编程逻辑的形式验证
4. A Formally Verified Sequentializer for Lustre-Like Concurrent Synchronous Data-Flow Programs [C] . Gang Shi, Yuanke Gan, Shu Shang, 2017 IEEE/ACM 39th International Conference on Software Engineering Companion . 2017

机译：经过正式验证的序列化程序，适用于Lustre-like并发同步数据流程序
5. Dataflow Synthesis and Verification for Parallel Object-Oriented Programming Languages. [D] . Wu, Shuang. 2011

机译：并行面向对象编程语言的数据流综合和验证。
6. Knowledge-Based Verification of Concatenative Programming Patterns Inspired by Natural Language for Resource-Constrained Embedded Devices [O] . Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, 2021

机译：基于知识的基于知识编程模式的验证受到资源受限嵌入式设备的自然语言的启发
7. Formal verification of programs in the functional data-flow parallel language [O] . M. S. Kropacheva, A. I. Legalov 2013

机译：正式验证功能数据流并行语言的程序
8. Behavioural Semantics of Parallel Functional Programming Languages [R] . Fijma, D. 1992

机译：并行函数式编程语言的行为语义

Formal Verification of Programs in the Functional Data-flow Parallel Language

摘要

著录项

相似文献

相关主题

期刊订阅