Statistics for Փոփոխությունների ֆորմալ վերիֆիկացիա բիզնես պրոցեսների շաբլոնների համար / Formal verification of changes for business process templates