Embedding Runtime Verification in Python

Runtime verification consists of verifying that an execution trace satisfies a specification. The specification can be formal, but it can also be informal, e.g. code in a general purpose programming language. In this paper we present the tool PyDejaVu, which explores the boundary between general pur... View More