Im Rahmen der GI Konferenz Sicherheit, Schutz und Zuverlässigkeit (SICHERHEIT 2022), präsentierte ich SMT-Based Verification of Concurrent Critical Systems