Skip to main content

1 Result(s)

within Chris Sampson Remove this filter Business and Management Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Evidence Gathering Using Static Code Analysis

    Static Code Analysis (SCA) has a proven track record as a powerful software verification technique providing the necessary rigour for safety-related software. A number of mature tools supporting SCA are availa...

    Chris Sampson in Practical Elements of Safety (2004)