DCBENCH: DISTRIBUTED CONCURRENCY BUGS BENCHMARK AND IMPLEMENTATION OF INTEGRATED DMCK
With the ever-increasing usage of distributed systems, occurrences of distributed concurrency bugs, or DCbugs, will continue to rise, which makes DCbugs detection, research and prevention more crucial. Distributed Systems Model Checker, or DMCK, is one of the tools available in detecting and repr...
Saved in:
| Main Author: | |
|---|---|
| Format: | Final Project |
| Language: | Indonesia |
| Online Access: | https://digilib.itb.ac.id/gdl/view/50861 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Institut Teknologi Bandung |
| Language: | Indonesia |