Title: Formal methods and their role in digital systems validation for airborne systems
Subjects: Computer software, Validation, Verification