A virtuális labor a feladatok együttműködésének ellenőrzését mutatja be egyszerűbb algoritmusok és modell ellenőrző eszközök segítségével.