راستي آزمايي به كمك تكنيك هاي پايان پذيري در مدل سيستم هاي بازنويسي

روشي براي جاسازي يك سيستم گذار در يك TRSپيشنهاد شده است. با تعريف تبديلات سودمند مي توان بخشي از مسائل راستي آزمايي TS را به پايان پذيريTRS كاهش داد. اخيرا براي تبديل ويژگي هاي ايمني و سر زندگي به مساله پايان پذيري راه هايي پيشنهاد شده است. ما تبديل ديگري براي كلاس تصميم پذير از مسائل سر زندگي پيشنهاد كرده ايم. راسني آزمايي مثال هايي با جاسازي معرفي شده در مدل سيستم هاي بازنويسي ترم، توسط تكنيك هاي پايان پذيري انجام شده است