 |
| |||
| система доказательства (MichaelBurov) | |||
| система автоматического доказательства теорем (theatlantic.com Alex_Odeychuk) | |||
| доказательная система (доказывает, что контракты (предусловия и постусловия методов, инварианты типов и циклов) выполняются для всех допустимых путей выполнения кода Alex_Odeychuk) | |||
|
proof system : 27 צירופים, 14 נושאים |
| אבטחת מידע והגנת מידע | 3 |
| אסטרונאוטיקה | 1 |
| הנדסת רדיו | 4 |
| טֶכנוֹלוֹגִיָה | 1 |
| טכנולוגית מידע | 1 |
| כללי | 1 |
| מחקר ופיתוח | 1 |
| מכשירי חשמל | 1 |
| מערכות אבטחה | 2 |
| סחלין | 1 |
| ציוד אוטומטי | 1 |
| קריפטוגרפיה | 6 |
| תִכנוּת | 2 |
| תוֹכנָה | 2 |