Towards Leveraging Domain Knowledge in State-Based Formal Methods - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2021

Towards Leveraging Domain Knowledge in State-Based Formal Methods

Abstract

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

Dates and versions

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

Identifiers

Cite

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

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More