TY  - RPRT
TI  - Verifying Graceful Degradation in a Distributed Malware-Detection System with SPIN
AU  - Andrei Aldea
AU  - Dumitru-Bogdan Prelipcean
PY  - 2026
DO  - 10.4204/eptcs.452.11
UR  - https://arxiv.org/abs/2609.34873
ID  - 2609.34873
ER  -