Cousot, P., and R. Cousot, Verification of Embedded Software: Problems and Perspectives. Proc. of the 1st Intl. Workshop on Embedded Software (EMSOFT), USA. pp. 97-113, LNCS 2211. 2001.  Home/Search   Document Details and Download   Summary   Related Articles

....di#cult enough and is further exacerbated by the hand applied transformations. As a result, a dire need exists to supplement replace testing with automatic verification tools. Also, in general, it has become necessary to scale up verification and testing techniques, to meet the present challenge [7]. Assuming that the initial source code is correct, in this work, we address the problem of automatically checking the functional equivalence of the transformed program with the initial. In other words, we verify that the transformations do not introduce any subtle bugs. Figure 1 shows a toy ....

Cousot, P., and R. Cousot, Verification of Embedded Software: Problems and Perspectives. Proc. of the 1st Intl. Workshop on Embedded Software (EMSOFT), USA. pp. 97-113, LNCS 2211. 2001.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC