Popular repositories Loading

1. CkTail CkTail Public

   A method that infer models of the different componets of a system.

   Java 1 1

2. SMVmaker SMVmaker Public

   Generate an SMV file from a LTS in dot format, in order to verify some properties with the tool NuSMV.

   Java 1 2

3. TFormat TFormat Public

   A tool that formates raw traces

   Java 1

4. COnfECt-2.0 COnfECt-2.0 Public

   new implementation of the COnfECt method, that learns models of component-based systems.

   Java 2

5. ASSESS ASSESS Public

   ASSESS is a passive model learning method for IoT device, that infers a system of LTSs (Labelled Transition Systems) from execution traces. Each LTS of the system will represent a different compone…

   Java 1

6. testability testability Public

   check the observability and controlability of a device from a model

   Java 2