A refinement-based framework for computing loop behavior
Document Type
Conference Proceeding
Publication Date
12-1-2007
Abstract
The development, certification and evolution of dependable software requires the ability to analyze software artifacts in all their extensive detail. This, in turn, is contingent upon availability of reliable, certified tools that can rigorously analyze the behavior and properties of software artifacts. One of the most difficult challenges in the development of such a tool is the ability to derive the function of a loop from a static analysis of its source code. In this paper, we discuss the main tenets of our approach to this problem, based on a relation-theoretic refinement calculus, and outline its results, insights, and prospects.
Identifier
47749156806 (Scopus)
ISBN
[0769528627, 9780769528625]
Publication Title
Proceedings International Conference on Software Engineering
External Full Text Location
https://doi.org/10.1109/SEW.2007.87
ISSN
02705257
First Page
144
Last Page
153
Recommended Citation
Mili, Ali, "A refinement-based framework for computing loop behavior" (2007). Faculty Publications. 13163.
https://digitalcommons.njit.edu/fac_pubs/13163
