Tache 5.3
De MARMOTE
Task 5.3: Stochastic Verification by Simulation
Objectifs
Améliorer l'efficacité du Stochastic Model Checking avec une combinaison de simulation parfaite, simulation parallèle et simulation numérique (en particulier, bornes stochastiques).
Structure
- Responsables: N. Pekergin + J.-M. Fourneau
- Participants: A. Bušić, J.-M. Vincent, M.-A. Tran, S. Tan