Skip to Main content Skip to Navigation

Certifying Distributed Algorithms by Embedding Local Computation Systems in the Coq Proof Assistant

Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00407990
Contributor : Mohamed Mosbah <>
Submitted on : Tuesday, July 28, 2009 - 11:23:55 AM
Last modification on : Saturday, March 14, 2020 - 5:50:12 PM

Identifiers

  • HAL Id : hal-00407990, version 1

Collections

Citation

Pierre Castéran, Vincent Filou, Mohamed Mosbah. Certifying Distributed Algorithms by Embedding Local Computation Systems in the Coq Proof Assistant. Symbolic Computation in Software Science (SCSS 2009), Sep 2009, Tunisia. To appear. ⟨hal-00407990⟩

Share

Metrics

Record views

175