Reasoning About Safety-Critical Information Flow Between Pilot and Computer

Seth Ahrenbach

This paper presents research results that develop a dynamic logic for reasoning about safety-critical information flow among humans and computers. The logic advances previous effor…