Model for parallel verification of programs

被引：0
|
作者：
He Pei [1 ,2 ]
Kang Lishan [1 ]
Li Qiongzhang [1 ]
机构：
[1] Wuhan Univ, State Key Lab Software Engn, Wuhan 430072, Peoples R China
[2] Changsha Univ Sci & Technol, Changsha 410076, Peoples R China
来源：
SNPD 2007: EIGHTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING, AND PARALLEL/DISTRIBUTED COMPUTING, VOL 3, PROCEEDINGS | 2007年
基金：
中国国家自然科学基金;
关键词：
D O I：
10.1109/SNPD.2007.427
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Program verification is a major concern and challenge to our highly computer-dependent societies. Under a closed environment, this paper explores proof reusing and organizing Methodology. After making some extension to Hoare's convention, and defining the verification task we present a model suitable for verifying numerous programs simultaneously.
引用
收藏
页码：623 / +
页数：2
相关论文
共 50 条
12345