Skip to Main content Skip to Navigation

Model Synthesis from Partial Model with partial labelling

Abstract : We consider the following generic scenario: an abstract model M of some ‘real’ system is only partially presented, or partially known to us, and we have to ensure that the actual system satisfies a given specification, formalised in BML or LTL. Our question is, "does any extension of the partial model satisfying the specification exist ?" In that purpose, we propose an algorithm that returns all the admissible extensions for the case where only the interpretation function is partially known.
Complete list of metadata
Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Monday, July 12, 2021 - 1:16:58 PM
Last modification on : Tuesday, December 14, 2021 - 1:00:01 PM


  • HAL Id : hal-03284114, version 1


Sophie Paillocher. Model Synthesis from Partial Model with partial labelling. [Research Report] Université Paris-Saclay, Université d'Evry Val-d'Essonne. 2021, pp.35. ⟨hal-03284114⟩



Record views