Introduction

Step 1: one object by example

Step 2: several objects by example with relations

Step 3: generalization

Step 4: counter-example

Our application

Tools

Conclusion

Demonstration

Do you have any questions?