AskDev.ru — спроси разработчика

  • Языки
    • java
    • javascript
    • python
    • php
    • c
    • objective-c
    • ruby
    • perl
  • Фреймворки
    • jquery
    • twitter-bootstrap
    • ruby-on-rails
    • django
    • angular
    • reactjs
  • Операционные системы
    • android
    • ios
    • windows
    • macos
    • ubuntu
    • linux
    • unix
  • Базы данных
    • mysql
    • sql-server
    • database
    • postgresql
    • mongodb
    • oracle
    • sqlite
  • Программы
    • google-chrome
    • firefox
    • internet-explorer
    • apache
    • nginx
    • excel
  • Репозитории
    • git
    • svn
    • github
  • Askdev.ru
    • French
  • over.wiki
11
ответов

6

Формальная проверка правильности алгоритма

algorithm correctness formal-verification math proof
10
ответов

11

Есть ли место формальным методам верификации программ в промышленности?

formal-verification language-agnostic logic
30
ответов

56

Почему программы не могут быть доказаны?

axiom formal-verification math proof theory
© AskDev.ru — спроси разработчика, Licensed under over.wiki with attribution.