Quote: used reverse engineering to determine a program's specification and proof; identified clean components

Note

took an existing Fortran program (finds roots of arbitrary function, given a segment), and reversed engineered it to find its specification and proof. basic method was to break the program into clean components and then specify and prove each component.

Related Topics

Topic: reverse engineering of software (6 items)