Simplifying Runtime Verification of Distributed Programs
Al Maghayreh, Eslam![Simplifying Runtime Verification of Distributed Programs](https://support.digitalhusky.com/media/annotations/sorted/945/9452012/CHSBZCOP039452012.jpg)
Distributed programs are particularly hard to write and to reason about their correctness. The idea of checking an expected property in a given distributed program run (i.e. runtime verification) has recently been attracting a great deal of attention for analyzing distributed programs. Runtime verification verifies the implementation of the system directly rather than verifying a model of it as is done in model checking. It is also based on fo...