Verifizierung der Machbarkeit und Skalierbarkeit des Algorithmusdesigns