Learning EFSM Models with Registers in Guards

Adenilso Sim\~ao; Catherine Oriat; Germ\'an Vega; Michael Foster; Neil Walkinshaw; Roland Groz

REVIEW

Learning EFSM Models with Registers in Guards

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2406.07040 v1 pith:WV37P7LJ submitted 2024-06-11 cs.FL

Learning EFSM Models with Registers in Guards

Germ\'an Vega , Roland Groz , Catherine Oriat , Michael Foster , Neil Walkinshaw , Adenilso Sim\~ao This is my paper

classification cs.FL

keywords efsmguardsmethodregistersactiveappliescalledcannot

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

0 comments

read the original abstract

This paper presents an active inference method for Extended Finite State Machines, where inputs and outputs are parametrized, and transitions can be conditioned by guards involving input parameters and internal variables called registers. The method applies to (software) systems that cannot be reset, so it learns an EFSM model of the system on a single trace.

Learning EFSM Models with Registers in Guards

discussion (0)