JPL Technical Report Server

Browsing by Subject "machine language"

Browsing by Subject "machine language"

Sort by: Order: Results:

  • 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 ...