Trust but verify: monitoring remotely executing programs for progress and correctness.

Shuo Yang Ali Raza Butt Y. Charlie Hu Samuel P. Midkiff

Published in: PPOPP (2005)

Keyphrases

provably correct
monitoring system
data acquisition
trust model
trust evaluation
real time
website
decision support
fixpoint
automatic programming
student progress
management system
virtual communities
computer programs
control program
website design