For example, code can be verified to match the intended functionality, described by a model: this can be done through static checking.
# Medical software: The U.S. Food and Drug Administration (FDA) has identified the use of static analysis for medical devices.
Today (NBC program) | television program | Apollo program | Fulbright Program | Television program | Nightline (US news program) | analysis | Today (Australian TV program) | Glenn Beck Program | V-12 Navy College Training Program | Sunrise (TV program) | Program and System Information Protocol | Computer program | The Sarah Silverman Program | Head Start Program | computer program | functional analysis | The Dave Ramsey Show (radio program) | Greater Underwater Propulsion Power Program | Static-X | Space Shuttle program | Individualized Education Program | Fourier analysis | Eat Static | Apollo Program | Voyager program | United States Antarctic Program | Today (U.S. TV program) | The Morning Show (TV program) | Static Shock |
Programming Research Limited (PRQA) is a provider of static program analysis tools, including QA-C and QA-C++.