TY  - RPRT
TI  - Towards Continuous Assurance with Formal Verification and Assurance Cases
AU  - Dhaminda B. Abeywickrama
AU  - Michael Fisher
AU  - Frederic Wheeler
AU  - Louise Dennis
PY  - 2025
UR  - https://arxiv.org/abs/2511.14805
ID  - 2511.14805
ER  -