Skip to Main content Skip to Navigation
Reports

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

https://hal-univ-evry.archives-ouvertes.fr/hal-03284114
Contributor : Frédéric Davesne <>
Submitted on : Monday, July 12, 2021 - 1:16:58 PM
Last modification on : Wednesday, July 14, 2021 - 3:38:39 AM

Identifiers

  • HAL Id : hal-03284114, version 1

Citation

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⟩

Share

Metrics

Record views

30