The HIVE Tool for Informed Swarm State Space Exploration
Swarm verification and parallel randomised depth-first search are very effective parallel techniques to hunt bugs in large state spaces.In case bugs are absent, however, scalability of the parallelisation Floor Mops - Mops is completely lost.In recent work, we proposed a mechanism to inform the workers which parts of the state space to explore.This