Vérification de propriétés LTL dans un environnement Hadoop MapReduce
Dans le présent mémoire nous aborderons la vérification de propriétés LTL dans un environnement Hadoop MapReduce. Nous allons en premier parler de l’utilité d’une telle idée. Donc, nous allons définir notre source de données. Ensuite, nous définirons pourquoi ce type d’analyse est intéressant et en...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | fr |
| Published: |
2015
|
| Subjects: | |
| Online Access: | http://constellation.uqac.ca/3244/1/SoucyBoivin_uqac_0862N_10115.pdf |