 |
| |||
| система автоматического доказательства теорем (theatlantic.com Alex_Odeychuk) | |||
| система доказательства (MichaelBurov) | |||
| доказательная система (доказывает, что контракты (предусловия и постусловия методов, инварианты типов и циклов) выполняются для всех допустимых путей выполнения кода Alex_Odeychuk) | |||
|
proof system : 27 短语, 14 学科 |
| 一般 | 1 |
| 信息安全 | 3 |
| 信息技术 | 1 |
| 安全系统 | 2 |
| 密码学 | 6 |
| 库页岛 | 1 |
| 技术 | 1 |
| 无线电学 | 4 |
| 电子产品 | 1 |
| 研究与开发 | 1 |
| 编程 | 2 |
| 自动化设备 | 1 |
| 航天 | 1 |
| 软件 | 2 |