Elblot

CkTail

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

SMVmaker

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

ASSESS

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 component of the device.

CkTailv2

Implemetnation of the second version of CkTail.

COnfECt-2.0

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

Mock-server

ProjetsMaster

testability

check the observability and controlability of a device from a model

TFormat

A tool that formates raw traces

xor_preproc

Modification of the SAT-solver pysat, to process XOR-Clauses (shorten Xlause)