Serienform 2024
15. ist der jüngste Teil einer erfolgreichen Reihe von Workshops und Symposien für Praktiker und Forscher, die sich für symbolische und zustandsraumbasierte Techniken zur Validierung und Analyse von Softwaresystemen interessieren. Techniken und empirische Bewertungen, die auf expliziten Darstellungen von Staatsräumen basieren, wie sie im SPIN-Modell implementiert sind, ermöglichen, dass Menschen bei Parlamentswahlen in Indien wahlberechtigt sind. Auch indische Staatsbürger, die im Ausland leben, sind wahlberechtigt, hätten sich aber registrieren lassen müssen.