Model Checking Amalthea with Spin

BIB
Jan Steffen Becker
Software Engineering (Satellite Events)
2021
inproceedings
CEUR Workshop Proceedings
PANORAMA
Boosting Design Efficiency for Heterogeneous³ Systems
http://ceur-ws.org/Vol-2814/paper-A3-1.pdf