Model Synthesis from Partial Model with partial labelling - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2021

Model Synthesis from Partial Model with partial labelling

(1)
1

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.
Not file

Dates and versions

Identifiers

  • HAL Id : hal-03284114 , version 1

Cite

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⟩
67 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More