Pусский
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Полные статьи
Категории
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Ты пишешь
Пользователь
Авторизоваться
Постановка на учет
Восстановление пароля
Теги
Языковые теги
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag formal-methods - Это страница 4 - GeneraCodice
Interpreting a proof of $2^\mathbb{N}$ being uncountable
https://www.generacodice.com/ru/articolo/2479573/interpreting-a-proof-of-2-mathbb-n-being-uncountable
formal-methods
-
type-theory
-
agda
cs.stackexchange
Общая картина формальной проверки в программном обеспечении
https://www.generacodice.com/ru/articolo/2470334/общая-картина-формальной-проверки-в-программном-обеспечении
formal-methods
-
software-verification
-
mathematical-foundations
cs.stackexchange
Как доказать, что замена символа в строке как в C и JavaScript эквивалентна?
https://www.generacodice.com/ru/articolo/2467666/как-доказать-что-замена-символа-в-строке-как-в-c-и-javascript-эквивалентна
programming-languages
-
formal-methods
-
proof-techniques
cs.stackexchange
Do theorem provers demonstrate their own correctness?
https://www.generacodice.com/ru/articolo/2448893/do-theorem-provers-demonstrate-their-own-correctness
formal-methods
-
automated-theorem-proving
-
software-verification
cs.stackexchange
VDMSL Recursive function minimum value of sequence
https://www.generacodice.com/ru/articolo/2155072/vdmsl-recursive-function-minimum-value-of-sequence
recursion
-
formal-methods
-
sequence
-
vdm++
-
vdm-sl
StackOverflow
Impact of semantics changes of Alloy 4.2 on exercise A.1.6 of the Alloy book?
https://www.generacodice.com/ru/articolo/2052970/impact-of-semantics-changes-of-alloy-4-2-on-exercise-a-1-6-of-the-alloy-book
formal-methods
-
alloy
StackOverflow
Формальные методы - Алгебраическая спецификация VS ориентирована на объект
https://www.generacodice.com/ru/articolo/1886270/формальные-методы-алгебраическая-спецификация-vs-ориентирована-на-объект
formal-methods
StackOverflow
Problem with predicate in Alloy
https://www.generacodice.com/ru/articolo/1658911/problem-with-predicate-in-alloy
formal-methods
-
model-driven-development
-
alloy
StackOverflow
What would help when refactoring a large method to ensure that I don't break anything?
https://www.generacodice.com/ru/articolo/1623012/what-would-help-when-refactoring-a-large-method-to-ensure-that-i-don-t-break-anything
unit-testing
-
legacy
-
refactoring
-
formal-methods
softwareengineering.stackexchange
Modeling a set of probabilistic concurrent processes
https://www.generacodice.com/ru/articolo/1621157/modeling-a-set-of-probabilistic-concurrent-processes
formal-methods
-
model-checking
-
markov-chains
cs.stackexchange
«
1
2
3
4
5
6
»
Результаты найдены: 188