We present ParTraP and its associated toolset, supporting a light-weight approach to formal methods. ParTraP is a language that allows to express properties over traces of parametric events.
In critical systems, such as medical systems, it is often easy to enhance the code with tracing information. The traces can be analysed to check that they fulfill several properties. ParTraP is designed to ease the understanding and writing of properties by software engineers without background in formal methods.