Introduction: what is ParTrap?

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.

Demo videos

In the tool demonstration videos, we present the language and its toolset: ParTraP-IDE (evaluator, compiler, syntax directed editor) and ParTraP-EG (generator of trace examples and counter-examples).