Debug function-stream parallel program can pass in one of the four realized modes:  mode of incremental debug, mode of layer debug, mode of branch debug and mode of formula’s checking. Verification of function-stream parallel programs with asynchronous lists is described in article.