Main Results

The modmedLog C++ library allows producing analyzable traces with no source code change, and then improving them while refactoring the source code.

The ParTraP language allows writing in a readable way many properties with temporal constraints, events data and Python functions. A comprehensive development environment (with syntactic editor, interpreter, compiler to Java) simplifies writing properties and understanding their results. These tools are available in open source ( and received promising feedback from a panel of MCPS developers.