Havelund, Klaus
(Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2008, 2008-01-10)
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from the program. The state machine language has ...