The Community for Technology Leaders
RSS Icon
Issue No.03 - March (1993 vol.26)
pp: 32-41
<p>A methodology for continuously monitoring a program for specification consistency during program execution is described. Prior development of the formal specification and program is assumed. The program is annotated with constructs from a formal specification language, and the formal specification constructs are transformed into checking code, which is then inserted into the underlying program. Calls to this checking code are inserted into underlying program wherever it can potentially become inconsistent with its specification. If an inconsistency does in fact occur, diagnostic information is provided. The implementation of such a system for Anna (annotated Ada) subtype annotations is presented.</p>
Sriram Sankar, "Concurrent Runtime Monitoring of Formally Specified Programs", Computer, vol.26, no. 3, pp. 32-41, March 1993, doi:10.1109/2.204684
48 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool