Skip to contentSkip to content
Verifizierte Zertifikate. On-Chain. Für immer.Mehr erfahren
Ewance
Anmelden
Cover image for Formale Spezifikation eines Berliner E-Mobility-Abrechnungsmoduls
Design

Formale Spezifikation eines Berliner E-Mobility-Abrechnungsmoduls

FreeVerified credential4 WochenAdvanced

Übersicht

Worum es bei diesem Projekt geht.

Modelliere einen E-Mobility-Tarifkern in TLA+, spezifiziere 5 Invarianten und prüfe sie mit TLC. Du erhältst ein verifizierbares Zertifikat.

Das Szenario

Der Anbieter (Series-B, rund 90 Mitarbeitende, Roaming-Partnerschaften mit 4 europäischen Netzen) hatte 2024 zwei Rechnungs-Skandale (Doppelabrechnungen + falsche MwSt), die mit besserer Vorab-Spezifikation vermeidbar gewesen wären.

CredentialBlockchain-anchored
ShareableLinkedIn-ready
LanguageEnglish
PaceSelf-paced

Das Briefing

Was Du tust und was Du zeigst.

Wie verwendet man formale Spezifikation (TLA+/Alloy) realistisch in einem Engineering-Team, das überwiegend TypeScript schreibt, ohne die Methode zur Forschungsübung verkommen zu lassen?

Earning criteria — what you'll demonstrate

  • TLA+ als Werkzeug für sicherheitskritische Geschäftslogik anwenden
  • Invarianten formulieren, die Domänenwissen tatsächlich einfangen
  • Modellprüfer-Ergebnisse interpretieren und in Gegenbeispiele übersetzen
  • Formale Spezifikation für ein nicht-formales Engineering-Team übersetzen

Studienpassung

Wo dies in Dein Studium passt.

Schärft dieselben Fähigkeiten, die Dein Studium von Dir erwartet.

Studienzuordnung folgt in Kürze.

Noch eine Sache

Du kannst ein Zertifikat bis Freitag in Deinem Lebenslauf haben.