安全汽車軟件更新的正式驗證（查爾默斯，富豪）

Formal Verification Of Secure Automotive SW Updates (Chalmers, Volvo) ,
Source Link