Describir: Simulátor nedeterministických výpočtových zariadení