Jan Steffen Becker. Model Checking Amalthea with Spin. In Sebastian Götz, Lukas Linsbauer, Ina Schaefer, Andreas Wortmann 0001, editors, Proceedings of the Software Engineering 2021 Satellite Events, Braunschweig/Virtual, Germany, February 22 - 26, 2021. Volume 2814 of CEUR Workshop Proceedings, CEUR-WS.org, 2021. [doi]
Abstract is missing.