Proof of properties in avionics

IFIP Advances in Information and Communication Technology

Volumn 156, Issue , 2004, Pages 527-535

  Souyris, Jean ^a   Favre Félix, Denis ^a  

^a AIRBUS   (France)

Author keywords

Avionics program; Do 178b; Formal method; Proof of properties; Unit testing; Unit verification

Indexed keywords

ACCIDENT PREVENTION; AVIONICS; FORMAL METHODS; FORMAL VERIFICATION; SOFTWARE TESTING;

C PROGRAMS; DO-178B; INDUSTRIAL USE; PROGRAM PROOF; PROOF OF PROPERTIES; UNIT TESTING; UNIT VERIFICATION; VERIFICATION PROCESS;

C (PROGRAMMING LANGUAGE);

EID: 84902504811     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-1-4020-8157-6_48     Document Type: Conference Paper

References (1)

1. Randimbivololona, F., Souyris, J., Baudin, P., Pacalet, A., Raguideau, J., and Schoen, D., (1999). Applying formal proof techniques to avionics software: A pragmatic approach. In Wing, J.M, Woodcock, J., and Davies, J., editors, Proceedings of the World Congress on Formal Methods in the Development of Computing Systems, FM'99, volume II of Toulouse, France, Lecture Notes in Computer Science 1709, pages 1798-1815. Springer.