Skip to Main content Skip to Navigation
Conference papers

Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning

Hélène Coullon 1, 2, 3 Claude Jard 3 Didier Lime 4, 3
1 STACK - Software Stack for Massively Geo-Distributed Infrastructures
Inria Rennes – Bretagne Atlantique , LS2N - Laboratoire des Sciences du Numérique de Nantes
4 STR - STR
LS2N - Laboratoire des Sciences du Numérique de Nantes
Complete list of metadatas

Cited literature [23 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02323641
Contributor : Hélène Coullon <>
Submitted on : Monday, October 21, 2019 - 5:36:09 PM
Last modification on : Wednesday, September 30, 2020 - 3:36:06 PM
Long-term archiving on: : Wednesday, January 22, 2020 - 8:41:10 PM

File

main.pdf
Files produced by the author(s)

Identifiers

Citation

Hélène Coullon, Claude Jard, Didier Lime. Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning. IFM 2019 : 15th International Conference on integrated Formal Methods, Dec 2019, Bergen, Norway. pp.120--137, ⟨10.1007/978-3-030-34968-4_7⟩. ⟨hal-02323641⟩

Share

Metrics

Record views

244

Files downloads

202