240
views
0
recommends
+1 Recommend
1 collections
    4
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Invariant Relations: An Automated Tool to Analyze Loops

      proceedings-article

      , , , , ,

      Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011) (VECOS)

      Verification and Evaluation of Computer and Communication Systems (VECoS 2011)

      15-16 September 2011

      Invariant assertions, invariant functions, invariant relations, loop invariants, program analysis, program verification, while loops, loop functions

      Bookmark

            Abstract

            Since their introduction more than four decades ago, invariant assertions have, justifiably, dominated the analysis of while loops, and have been the focus of sustained research interest in the seventies and eighties, and renewed interest in the last decade. In this paper, we tentatively submit an alternative concept for the analysis of while loops, explore its attributes, its applications, and its relationship to invariant assertions. Also, we discuss the design, implementation and use of a tool that analyzes while loops using this concept.

            Content

            Author and article information

            Contributors
            Conference
            September 2011
            September 2011
            : 1-12
            Affiliations
            [0001]University of Tunis El Manar

            Tunis, Tunisia
            [0002]ISG, Universite de Tunis

            Tunis, Tunisia
            [0003]Universite de Tunis el Manar

            Tunis, Tunisia
            [0004]NJIT

            Newark, NJ USA
            Article
            10.14236/ewic/VECOS2011.9
            ffcffffb-af61-46a6-89cc-a7feff3d5e06
            © Asma Louhichi et al. Published by BCS Learning and Development Ltd. Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011), Tunis, Tunisia

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011)
            VECOS
            5
            Tunis, Tunisia
            15-16 September 2011
            Electronic Workshops in Computing (eWiC)
            Verification and Evaluation of Computer and Communication Systems (VECoS 2011)
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article