Blog
About

116
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

      , , , , ,

      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

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          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.

          Related collections

          Most cited references 3

          • Record: found
          • Abstract: not found
          • Article: not found

          On the lattice of specifications Applications to a specification methodology

            Bookmark
            • Record: found
            • Abstract: not found
            • Conference Proceedings: not found

            Finding Loop Invariants for Programs over Arrays Using a Theorem Prover

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Mathematics for reasoning about loop functions

                Bookmark

                Author and article information

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

                Tunis, Tunisia
                ISG, Universite de Tunis

                Tunis, Tunisia
                Universite de Tunis el Manar

                Tunis, Tunisia
                NJIT

                Newark, NJ USA
                Article
                10.14236/ewic/VECOS2011.9
                © 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