Software development and verification in aviation industry 

for high safety critical systems