Rigorous State-Based Methods

Das Buch "Rigorous State-Based Methods" dokumentiert die Proceedings der 8. Internationalen Konferenz zu rigorosen zustandsbasierten Methoden, die ursprünglich in Ulm, Deutschland, stattfinden sollte. Aufgrund der COVID-19-Pandemie wurde die Konferenz jedoch in ein Online-Format umgewandelt. In diesem Band sind 6 vollständige und 8 Kurzbeiträge enthalten, die aus insgesamt 18 Einreichungen sorgfältig ausgewählt wurden. Darüber hinaus sind 3 Beiträge aus einem Doktorandensymposium enthalten. Die behandelten Themen konzentrieren sich auf formale Methoden, die sowohl zustandsbasiert als auch maschinenbasiert sind, insbesondere auf Abstract State Machines (ASM), Alloy, B, TLA+, VDM und Z. Dieses Fachbuch richtet sich an Fachleute und Studierende im Bereich Technik und IT, die sich mit den neuesten Entwicklungen in der formalen Methodenforschung auseinandersetzen möchten.