Towards Leveraging Domain Knowledge in State-Based Formal Methods

System engineering development processes rely on modelling activities that lead to different design models corresponding to different analyses of the system under consideration.

Mots clés

domain knowledge ontology formal method

Domaines

Génie logiciel [cs.SE] Théorie et langage formel [cs.FL] Logique en informatique [cs.LO] Algorithme et structure de données [cs.DS]

Dominique Méry : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03250787

Soumis le : vendredi 4 juin 2021-23:20:34

Dernière modification le : vendredi 26 juillet 2024-03:06:36

Dates et versions

hal-03250787 , version 1 (04-06-2021)

Identifiants

HAL Id : hal-03250787 , version 1
DOI : 10.1007/978-3-030-76020-5_1

Citer

Yamine Aït-Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh. Towards Leveraging Domain Knowledge in State-Based Formal Methods. Raschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter. Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, 12750, Springer, pp.1-13, 2021, Lecture Notes in Computer Science, 978-3-030-76020-5. ⟨10.1007/978-3-030-76020-5_1⟩. ⟨hal-03250787⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS INRIA LACL UPEC UT1-CAPITOLE UNIV-LORRAINE INRIA2 LORIA LORIA-FM IRIT IRIT-ACADIE ANR IRIT-FSL TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP

149 Consultations

0 Téléchargements