Formal verification of ACAS X, an industrial airborne collision avoidance system
International Conference on Embedded Software, pp. 127-136, 2015.
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
Full Text (Upload PDF)
PPT (Upload PPT)