Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software.

Antoine Min, David Delmas

Browse the full EMSOFT paper archive.