Abstract: Part of the research described in this publication was carried out at Jet Propulsion Laboratory, California Institute of Technology, under a contract with the National Aeronautics and Space Administration. The work of G. Reger was supported by the Engineering and Physical Sciences Research; International audience; Runtime verification is the process of checking a property on a trace of events produced by the execution of a computational system. Runtime verification techniques have recently focused on parametric specifications where events take ...
(read more)
Topics: 
Programming language
Theoretical computer science
Distributed computing