• possible to have software errors removed, can be run in a controlled and gradual manner (using a special compiler) in order to eliminate errors and closely check the program (software)
