Asynchrone Programmierung ist ein Paradigma, das häufig in Low-Level-Systemsoftware, der Web-Programmierung und in Benutzeranwendungen auf mobilen Plattformen eingesetzt wird. Allerdings ist es schwierig für Programmierer*innen sicherzustellen, dass solche Programme kein unerwartetes Verhalten aufweisen. Dies macht Software-Werkzeuge zur Verifikation notwendig, die automatisch die Korrektheit eines Programms nachweisen bzw. eine fehlerhafte Ausführung aufzeigen können. Wir haben einen neuen Ansatz gefunden, der die automatische Verifikation einer großen Vielfalt asynchroner Programme erlaubt.
mehr