A Formal Verification Approach to Safeguard Controller Variables from Single Event Upset

Ganesha, Sujit Kumar Chakrabarti

We present a method based on program analysis and formal verification to identify conditionally relevant variables (CRVs) - variables which could lead to violation of safety proper…