Differential Dynamic Logic: Automated Theorem Proving for 6Diese Angabe bezieht sich auf einen Testfall mit 8000 Tuples pro Space innerhalb 600s mit .