THE HIVE TOOL FOR INFORMED SWARM STATE SPACE EXPLORATION

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

read more


Vaccines against Coronaviruses of Veterinary Importance

The COVID-19-pandemic has unprecedently spurred vaccine development against SARS-CoV-2.Around 170 vaccine projects are listed by WHO and 29 have already entered clinical phase trials.But as scientist all over the world are striving to develop an efficacious vaccine it may be helpful to risk a glance into the backyard of coronavirus research.In vete

read more