Formal verification of ACAS X, an industrial airborne collision avoidance system

International Conference on Embedded Software, pp. 127-136, 2015.

Cited by: 8|Bibtex|Views19|Links
EI

Abstract:

Formal verification of industrial systems is very challenging, due to reasons ranging from scalability issues to communication difficulties with engineering-focused teams. More importantly, industrial systems are rarely designed for verification, but rather for operational needs. In this paper we present an overview of our experience usin...More

Code:

Data:

Your rating :
0

 

Tags
Comments