Formal methods and their role in digital systems validation for airborne systems

An edition of Formal methods and their role in digital systems validation for airborne systems (1995)

Formal methods and their role in digital systems validation for airborne systems

By John Rushby

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

1995

Publisher

National Aeronautics and Space Administration, Langley Research Center,Available from the National Technical Information Service

Language

eng

Pages

Description:

subjects: Mathematical logic, Software engineering, Reliability analysis, Digital systems, Program verification (Computers), Software reliability