A Model Checking Method for Partially Symmetric Systems

Serge Haddad Jean-Michel Ilié 1 Khalil Ajami 1
1 SRC - Systèmes répartis et coopératifs
LIP6 - Laboratoire d'Informatique de Paris 6
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01573069
Contributor : Lip6 Publications <>
Submitted on : Tuesday, August 8, 2017 - 2:39:47 PM
Last modification on : Thursday, March 21, 2019 - 1:09:47 PM

Identifiers

  • HAL Id : hal-01573069, version 1

Citation

Serge Haddad, Jean-Michel Ilié, Khalil Ajami. A Model Checking Method for Partially Symmetric Systems. International conference on Formal Methods for Distributed System Development, FORTE/PSTV2000, Oct 2000, Pisa, Italy. pp.121-136. ⟨hal-01573069⟩

Share

Metrics

Record views

78