 |
| |||
| система автоматического доказательства теорем (theatlantic.com Alex_Odeychuk) | |||
| доказательная система (доказывает, что контракты (предусловия и постусловия методов, инварианты типов и циклов) выполняются для всех допустимых путей выполнения кода Alex_Odeychuk) | |||
| система доказательства (MichaelBurov) | |||
|
proof system : 27 phrases, 14 sujets |