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 model-checking - Это страница 5 - GeneraCodice
Is model checking PSpace-hard *in formula size*?
https://www.generacodice.com/ru/articolo/1610978/is-model-checking-pspace-hard-in-formula-size
complexity-theory
-
model-checking
-
linear-temporal-logic
-
parameterized-complexity
cs.stackexchange
Are two CCS processes equivalent with respect to weak bisimilarity if and only if they satisfy exactly the same set of HML formulas?
https://www.generacodice.com/ru/articolo/1610797/are-two-ccs-processes-equivalent-with-respect-to-weak-bisimilarity-if-and-only-if-they-satisfy-exactly-the-same-set-of-hml-formulas
concurrency
-
model-checking
-
ccs
-
pi-calculus
cs.stackexchange
Negation of the semantics of the Until operator in LTL
https://www.generacodice.com/ru/articolo/1609448/negation-of-the-semantics-of-the-until-operator-in-ltl
logic
-
semantics
-
model-checking
-
linear-temporal-logic
-
predicate-logic
cs.stackexchange
(Generally) How to specify asynchronous action with side effects using logic equations
https://www.generacodice.com/ru/articolo/1609055/generally-how-to-specify-asynchronous-action-with-side-effects-using-logic-equations
logic
-
formal-methods
-
model-checking
-
software-verification
cs.stackexchange
Buchi automata in formal software verification
https://www.generacodice.com/ru/articolo/1606927/buchi-automata-in-formal-software-verification
formal-methods
-
model-checking
-
formal-languages
-
formal-grammars
-
buchi-automata
cs.stackexchange
Model Checking CTL* algorithm
https://www.generacodice.com/ru/articolo/1606801/model-checking-ctl-algorithm
model-checking
cs.stackexchange
Validity of CTL formula $s_0 \models EG\ AF\ p$ in given model
https://www.generacodice.com/ru/articolo/1606139/validity-of-ctl-formula-s-0-models-eg-af-p-in-given-model
logic
-
model-checking
-
computation-tree-logic
cs.stackexchange
How to prove a LTL formula correct in a specific model?
https://www.generacodice.com/ru/articolo/1606137/how-to-prove-a-ltl-formula-correct-in-a-specific-model
logic
-
formal-methods
-
model-checking
-
linear-temporal-logic
cs.stackexchange
How do you correctly write this sentence as a CTL formula?
https://www.generacodice.com/ru/articolo/1604383/how-do-you-correctly-write-this-sentence-as-a-ctl-formula
logic
-
model-checking
-
computation-tree-logic
-
temporal-logic
cs.stackexchange
How to express the existence of winning strategy of the starter of a game in temporal logic?
https://www.generacodice.com/ru/articolo/1601846/how-to-express-the-existence-of-winning-strategy-of-the-starter-of-a-game-in-temporal-logic
formal-methods
-
model-checking
-
game-theory
-
linear-temporal-logic
-
computation-tree-logic
cs.stackexchange
«
2
3
4
5
6
7
»
Результаты найдены: 120