Enhancing active model learning with equivalence checking using simulation relations

We present a new active model-learning approach to generating abstractions of a system from its execution traces. Given a system and a set of observables to collect execution traces, the abstraction produced by the algorithm is guaranteed to admit all system traces over the set of observables. To ac...

Fuld beskrivelse

Bibliografiske detaljer
Main Authors: Yogananda Jeppu, N, Melham, T, Kroening, D
Format: Journal article
Sprog:English
Udgivet: Springer 2023