Towards Leveraging Domain Knowledge in State-Based Formal Methods - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2021

Towards Leveraging Domain Knowledge in State-Based Formal Methods

Résumé

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

Dates et versions

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

Identifiants

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⟩
114 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More