Volume 10 Number 11 (Nov. 2015)
Home > Archive > 2015 > Volume 10 Number 11 (Nov. 2015) >
JSW 2015 Vol.10(11): 1319-1326 ISSN: 1796-217X
doi: 10.17706/jsw.10.11.1319-1326

Component-Based Verification Model of Sequential Programs

Pei He1, 2, 3*, Achun Hu1, Dongqing Xie1, Zhiping Fan1
1School of Computer Science and Educational Software, Guangzhou University, Guangzhou 510006, China
2Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Beijing 100871, China.
3School of Computer and Communication Engineering, Changsha University of Science and Technology, Changsha 410114, China.


Abstract—Hoare’s logic helps with program state descriptions, but is difficult to manipulate. Model checking emerged as a new trend in program verifications is best applied to system designs rather than implementations. This paper is committed to establish a component-based verification framework that combines both of them. The method applied consists of two steps: regarding predicates as states and connecting them with functional components in light of their relationships. Once a framework is set up, both program generation and verification can be automatically carried out. The principle presented here is not only applicable to sequential programs, but also to other types of program structures and paradigm such as iteration, branch structure and grammatical evolution, etc.

Index Terms—Finite state transition system, grammatical evolution, sequential programs, verification framework.

[PDF]

Cite: Pei He, Achun Hu, Dongqing Xie, Zhiping Fan, "Component-Based Verification Model of Sequential Programs," Journal of Software vol. 10, no. 11, pp. 1319-1326, 2015.

General Information

ISSN: 1796-217X (Online)
Frequency: Monthly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, CNKI,etc
E-mail: jsw@iap.org
  • May 31, 2019 News!

    Papers published in JSW Vol. 14, No. 1- Vol. 14 No. 5 have been indexed by DBLP.    [Click]

  • May 15, 2019 News!

    Vol.13, No.6- Vol.13, No.8 has been indexed by EI (Inspec).    [Click]

  • Aug 01, 2018 News!

    [CFP] 2019 the annual meeting of JSW Editorial Board, ICCSM 2019, will be held in Barcelona, Spain, July 14-16, 2019.   [Click]

  • Jan 15, 2019 News!

    Welcome Prof. Timothy J Arndt from USA to join the Editorial board of JSW   [Click]

  • Jun 24, 2019 News!

    Vol 14, No. 7 has been published with online version 4 original aritcles from 3 countries are published in this issue.   [Click]