|
|  |
 |
ალგორითმებისა და პროგრამების ვერიფიკაციის (კორექტულობის) კრიტერიუმების დადგენა ავტომატების თეორიის მეთოდებით | Authors: | ბენიძე, ნანა | | Subjects: | ალგორითმებისა და პროგრამების ვერიფიკაციის (კორექტულობა); | | Table Of Contents: | სარჩევი
ანოტაცია;
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 კრიპტოლოგიური ამოცანის კორექტულობის პრინციპი;
გამოყენებული ლიტერატურის ნუსხა;
დანართი. | | Date of Issue: | 2012 | | Source: | ალგორითმებისა და პროგრამების ვერიფიკაციის (კორექტულობის) კრიტერიუმების დადგენა ავტომატების თეორიის მეთოდებით/ნ. ბენიძე: დის... დოქტ. აკად. ხარისხ. /სამეცნ. ხელმძღვან.: გურამ ცერცვაძე; საქ. საპატრიარქოს წმ. ანდრია პირველწოდებულის სახ. ქართული უნივერსიტეტი; თბ., 2012 - 120 გვ. - - ბიბლიოგრ.: გვ. 115-120 . UDC: 004.421 | | Language: | Georgian | | Extent Format: | 120 გვ. | | Created: | 2012-12-06 | | Modified: | 2013-01-15 |
|
|
Digital Library