Swen Jacobs

Untersuchung, wie Schwellenautomatene die Verifizierung verteilter Algorithmen verbessern.

2025-07-22T19:34:24+00:00 ― 6 min Lesedauer

Ein Blick auf disjunktive zeitliche Netzwerke und ihre Verifikationsmethoden.

2025-06-30T02:12:36+00:00 ― 5 min Lesedauer

Ein Überblick über parametrische Systeme und ihre Verifikationsherausforderungen.

2025-06-28T20:19:18+00:00 ― 6 min Lesedauer