HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Book sections

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.
Complete list of metadata

https://hal.inria.fr/hal-03250787
Contributor : Dominique Méry Connect in order to contact the contributor
Submitted on : Friday, June 4, 2021 - 11:20:34 PM
Last modification on : Thursday, February 10, 2022 - 2:16:02 PM

Identifiers

Citation

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⟩

Share

Metrics

Record views

81