An SMT-based approach for generating trace examples and counter-examples of parametric properties

The ParTraP language has been designed to express temporal and timed properties on finite execution traces of parametric events. It aims to ease properties' expression for users not experienced in ...