Uniform Monte-Carlo Model Checking

Johan Oudinet 1 Alain Denise 1, 2, 3 Marie-Claude Gaudel 1 Richard Lassaigne 1, 4 Sylvain Peyronnet 1, 5
2 AMIB - Algorithms and Models for Integrative Biology
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France
5 GRAND-LARGE - Global parallel and distributed computing
CNRS - Centre National de la Recherche Scientifique : UMR8623, Inria Saclay - Ile de France, UP11 - Université Paris-Sud - Paris 11, LIFL - Laboratoire d'Informatique Fondamentale de Lille, LRI - Laboratoire de Recherche en Informatique
Complete list of metadatas

https://hal.inria.fr/hal-00644834
Contributor : Alain Denise <>
Submitted on : Friday, November 25, 2011 - 11:30:10 AM
Last modification on : Thursday, April 4, 2019 - 1:19:20 AM

Identifiers

  • HAL Id : hal-00644834, version 1

Citation

Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet. Uniform Monte-Carlo Model Checking. FASE 2011, 2011, Saarbrücken, Germany. ⟨hal-00644834⟩

Share

Metrics

Record views

362