Laufzeitverifikation: K-Framework zur formalen Verifikation von Smart Contracts mit Rikard Hjort | Knoovi