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 (https://gricad-gitlab.univ-grenoble-alpes.fr/modmed) and received promising feedback from a panel of MCPS developers.