University of Twente Student Theses
Bisimulation Reduction with MapReduce
Vonk, Jeroen (2016) Bisimulation Reduction with MapReduce.
|
PDF
944kB |
| Abstract: | The main goal for this project is to create functioning bi-simulation reduction using MapReduce, and see how viable this technology is for model checking. This allows us to have a more in-depth insight of the possibilities of MapReduce in the field of model checking. The main contributions of this project will be bi-simulation in Hadoop. |
| Item Type: | Essay (Master) |
| Faculty: | EEMCS: Electrical Engineering, Mathematics and Computer Science |
| Subject: | 54 computer science |
| Programme: | Computer Science MSc (60300) |
| Link to this item: | https://purl.utwente.nl/essays/70875 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page