Analysis of software for verifying properties of programs

Full Title

Error detection; Error correction; Monitoring > Prevention of errors by analysis, debugging or testing of software > Analysis of software for verifying properties of programs

Classification Context

Section:

PHYSICS

Class:

COMPUTING OR CALCULATING; COUNTING

Subclass:

ELECTRIC DIGITAL DATA PROCESSING

Scope Notes

Limiting references: Testing of software