Title: Formal methods and their role in digital systems validation for airborne systems
Subjects: Mathematical logic, Software engineering, Reliability analysis, Digital systems, Program verification (Computers), Software reliability