ืคึฟืึทืจ ืื ืงืืืืฉืึทื ืืื ืื ืืื ืืงืก ืงืขืจื 5.20 (ืืึธืืขืจ ืื ืฆืืืืึทื ืืืขื ืืืื ืืขืฆืืืื 6.0), ืึท ืกืืื ืคืื ืคึผืึทืืฉืึทื ืืื ืคืืจืืขืืืืื ืืื ืื ืืืคึผืืึทืืขื ืืืืฉืึทื ืคืื ืื RV (Runtime Verification) ืืขืงืึทื ืืืึทื, ืืืึธืก ืืื ืืืฉืืจืื ืฆื ืงืึธื ืืจืึธืืืจื ืื ืจืืืืืง ืึธืคึผืขืจืึทืฆืืข ืืืืฃ ืืขืืกื ืคืึทืจืืึธืืืขื ืกืืกืืขืืขื ืืืึธืก ืืึทืจืึทื ืืืจื ืื ืึทืืืขืง ืคืื ืคืืืืืขืจื. ืืืขืจืึทืคืึทืงืืืฉืึทื ืืื ืืืจืืืขืงืึธืื ืืื ืจืื ืืืืข ืืืจื ืึทืืึทืืฉืื ื ืืึทื ืืืขืจืก ืฆื ืฉืคึผืืจ ืคืื ืงืื ืืืึธืก ืงืึธื ืืจืึธืืืจื ืื ืคืึทืงืืืฉ ืคึผืจืึธืืจืขืก ืคืื ืืืจืืคืืจืื ื ืงืขืื ืึท ืคึผืจืืืืืขืจืืื ื ืจืขืคึฟืขืจืขื ืฅ ืืืืขืจืืึทื ืืกืืืง ืืึธืืขื ืคืื ืื ืึธืืึทืืึทื ืืืึธืก ืืืคืืื ื ืื ืืขืจืืืึทืจื ืึธืคึผืคืืจืื ื ืคืื ืื ืกืืกืืขื.
ืืื ืคึฟืึธืจืืึทืฆืืข ืคืื โโืฉืคึผืืจ ืคืื ืงืื ืืืืืขืื ืื ืืึธืืขื ืคืื ืืืื ืฉืืึทื ืฆื ืื ืืขืจื, ืืื ืืืื ืื ื ืืึทืข ืฉืืึทื ืฉืืืืขื ื ืืฉื ืืื ืื ืคึผืึทืจืึทืืขืืขืจืก ืคืื ืื ืืึธืืขื, ืึท ืืืืจืขื ืื ื ืืื ืืืฉืขื ืขืจืืืืึทื ืึธืืขืจ ืืขืจ ืงืขืจื ืืื ืืขืฉืืขืื ืืื ืึท "ืคึผืึทื ืืง" ืฉืืึทื (ืืืื ืจืืืืืึทืืืืึทืื ืกืืกืืขืืขื ืืขื ืขื ืืขืจืืื ืฆื ืืขืืขืงื ืืื ืจืืกืคึผืึทื ื ืฆื ืึทืืึท ืกืืืืึทืืืึธื ืก). ืื ืึทืืืึธืืึทืืึธื ืืึธืืขื, ืืืึธืก ืืืคืืื ื ืืจืึทื ืืืฉืึทื ื ืคืื ืืืื ืฉืืึทื ืฆื ืื ืืขืจื, ืืื ืืงืกืคึผืึธืจืืึทื ืฆื ืื "ืคึผืื ืงื" ืคึฟืึธืจืืึทื (ืืจืึทืฃืืืื), ื ืึธื ืืืึธืก ืขืก ืืื ืืืืขืจืืขืืขืฆื ื ืืฆื ืื dot2c ื ืืฆื ืืื ืึท C ืคืึทืจืืจืขืืื ื, ืืืึธืก ืืื ืืึธืืืื ืืื ืื ืคืึธืจืขื ืคืื ืึท ืงืขืจื ืืึธืืืืข. ืืจืึทืงืก ืืืืืืืืฉืึทื ื ืคืื ืื ืืืจืืคืืจืื ื ืคึผืจืึธืืจืขืก ืคืื ืื ืคึผืจืขืืขืคืื ืขื ืืึธืืขื.
ืืืืคื-ืฆืืื ืืึธืืขื ืงืึธื ืืจืึธืืืจืื ื ืืื ืคึผืึทืืืฉืึทื ื ืืื ืึท ืืืืืขืจ-ืืืึธื ืืื ืืจืื ืืขืจ-ืฆื-ืื ืกืืจืืืขื ื ืืืคึฟื ืคืื ืืืขืจืึทืคืืืื ื ืจืืืืืง ืืืจืืคืืจืื ื ืืืืฃ ืืืกืืข-ืงืจืืืืฉ ืกืืกืืขืืขื, ืงืึทืืคึผืืึทืืขื ืืื ื ืงืืึทืกืืฉ ืคืึทืจืืึธืืืขื ืืืขืจืึทืคืึทืงืืืฉืึทื ืืขืืืึธืืก ืึทืืึท ืืื ืืึธืืขื ืงืึธื ืืจืึธืืืจืื ื ืืื ืืึทืืึทืืึทืืืงืึทื ืคึผืจืึทืืืืืฉืึทื ื ืคืื ืงืึธื ืืขืกืงืขื ืืื ืกืคึผืขืกืึทืคืึทืงืืืฉืึทื ื ืืขืืขืื ืืื ืึท ืคืึธืจืืึทื. ืฉืคึผืจืึทื. ืฆืืืืฉื ืื ืึทืืืืึทื ืืืืืฉืื ืคืื ืจืื ืืื ืื ืคืืืืงืืื ืฆื ืฆืืฉืืขืื ืฉืืจืขื ื ืืืขืจืึทืคืึทืงืืืฉืึทื ืึธื ืึท ืืึทืืื ืืขืจ ืืืคึผืืึทืืขื ืืืืฉืึทื ืคืื ืื ืืื ืฆืข ืกืืกืืขื ืืื ืึท ืืึธืืขืืื ื ืฉืคึผืจืึทื, ืืื ืืขืืื ื ืืื ืคืืขืงืกืึทืืึทื ืขื ืืคืขืจ ืฆื ืึทื ืคืึธืจืกืื ืืขืฉืขืขื ืืฉื, ืืืฉื, ืฆื ืคืึทืจืฉืคึผืึทืจื ืื ืืืืึทืืขืจ ืคึผืจืึทืคึผืึทืืืืฉืึทื ืคืื ืืืจืืคืึทื ืืื ืงืจืืืืฉ ืกืืกืืขืืขื.
ืืงืืจ: opennet.ru