• DocumentCode
    3230416
  • Title

    Model for Parallel Verification of Programs

  • Author

    Pei, He ; Lishan, Kang ; Qiongzhang, Li

  • Author_Institution
    Wuhan Univ., Wuhan
  • Volume
    3
  • fYear
    2007
  • fDate
    July 30 2007-Aug. 1 2007
  • Firstpage
    623
  • Lastpage
    628
  • Abstract
    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.
  • Keywords
    formal logic; parallel programming; program verification; Hoare logic; model checking; parallel program verification; Artificial intelligence; Automata; Computer networks; Concurrent computing; Distributed computing; Helium; Logic; Organizing; Software engineering; Software reliability;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on
  • Conference_Location
    Qingdao
  • Print_ISBN
    978-0-7695-2909-7
  • Type

    conf

  • DOI
    10.1109/SNPD.2007.427
  • Filename
    4287927
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3230416