Shimmi A, G. SK, N. JL. Formal Verification of Programs in ADA Language for Flight Software Application. In: National Conference on Education and Research (ConfER 2009). Kochi: Rajagiri School of Engineering and Technology; 2009.