Mining Shape Expressions with ShapeIt

Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis +3

We present ShapeIt, a tool for mining specifications of cyber-physical systems (CPS) from their real-valued behaviors. The learned specifications are in the form of linear shape ex…