@inproceedings{allal:hal-01780556,
  TITLE = {{Using Parallel and Distributed Reachability in Model Checking}},
  AUTHOR = {Allal, Lamia and Belalem, Ghalem and Dhaussy, Philippe and Teodorov, Ciprian},
  URL = {https://hal-ensta-bretagne.archives-ouvertes.fr/hal-01780556},
  BOOKTITLE = {{Recent Advancement in Computer, Communication and Computational Sciences (RACCCS-2017)}},
  ADDRESS = {Ajmer, India},
  PUBLISHER = {{Springer}},
  SERIES = {Advances in Intelligent Systems and Computing},
  VOLUME = {696},
  PAGES = {143-154},
  YEAR = {2017},
  MONTH = Sep,
  DOI = {10.1007/978-981-10-7386-1\_12},
  KEYWORDS = {Formal verification ; Distributed exploration ; Parallel exploration ; Model checking ; State explosion problem},
  HAL_ID = {hal-01780556},
  HAL_VERSION = {v1},
}