სარჩევი ანოტაცია -- Annotation -- შესავალი -- თავი1. ვერიფიკაციის მეთოდების მიმოხილვა -- 1.1 ხოარის აქსიომატიკური სემანტიკის მეთოდები -- 1.1.1 არარეკურსიული და რეკურსიული ფუნქციების ვერიფიკაციის მეთოდები -- 1.1.2 პროგრამების შექმნა, მათი კორექტულობის დამტკიცების პარალელურად -- 1.2 ფლოიდის ინდუქციური დაშვების მეთოდი -- 1.2.1 რეკურსიული პროგრამების სამართლიანობის დამტკიცება -- 1.3 მოდელებზე შემოწმება (Model cheking) -- 1.3.1 პროგრამების მოდელების ვერიფიკაციის პროცესი -- 1.3.2 კრიპკეს სტრუქტურა. ვერიფიკაციის პაკეტი SPIN -- თავი 2. დაპროგრამების ენების განსაზღვრა სასრული ავტომატების საშუალებით -- 2.1 გრამატიკები და ფორმალური ენები -- 2.2 * ავტომატების თეორიის ზოგიერთი ცნებები -- 2.2 *.1 ავტომატების სახეები -- 2.2 *.2 ავტომატები და გრაფები -- 2.2 *.3 ენების წარმოდგენა ავტომატის საშუალებით -- 2.2 სასრული ავტომატები -- 2.3 კავშირი სასრულ ავტომატებსა, ფორმალურ გრამატიკებსა და ენებს შორის -- 2.4 სასრული ავტომატების სისტემა -- 2.5 სინტაქსური გარჩევის ერთი ალგორითმის შესახებ -- 2.6 სინტაქსური ანალიზის ალგორითმების კორექტულობის პრინციპი -- თავი 3. პროგრამული უზრუნველყოფის ვერიფიკაციის ამოცანა კრიპტოგრაფიული სისტემებისათვის; 3.1 ბლოკური დაშიფვრის სიმეტრიული კრიპტოგრაფიული სისტემა -- 3.2 ბლოკური დაშიფვრის სიმეტრიული კრიპტოგრაფიული სისტემის ალგორითმი -- 3.2.1 მონაცემთა დაშიფვრის ალგორითმის ზოგიერთი განმარტებები -- 3.2.2 წარმოებული გასაღებების გამოთვლის ალგორითმის ზოგიერთი განმარტებები -- 3.3 კრიპტოლოგიური ამოცანის კორექტულობის პრინციპი -- გამოყენებული ლიტერატურის ნუსხა -- დანართი.
展开▼