Português
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Artigos completos
Categorias
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Você escreve
Do utilizador
Conecte-se
Cadastro
Recuperação de senha
Tag
Tags de idioma
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag model-checking - Esta é a página 8 - GeneraCodice
CTL* query evaluation order
https://www.generacodice.com/pt/articolo/1580653/ctl-query-evaluation-order
logic
-
model-checking
-
computation-tree-logic
-
temporal-logic
cs.stackexchange
Programming language semantics prototyping tool
https://www.generacodice.com/pt/articolo/1576288/programming-language-semantics-prototyping-tool
semantics
-
programming-languages
-
model-checking
-
reference-request
cs.stackexchange
Can QBF encode #QBF?
https://www.generacodice.com/pt/articolo/1569837/can-qbf-encode-qbf
complexity-theory
-
model-checking
-
satisfiability
cs.stackexchange
Initializing non-deterministic variables in QBF
https://www.generacodice.com/pt/articolo/1569811/initializing-non-deterministic-variables-in-qbf
model-checking
-
satisfiability
cs.stackexchange
What's the definition of ACTL?
https://www.generacodice.com/pt/articolo/1568843/what-s-the-definition-of-actl
model-checking
-
temporal-logic
cs.stackexchange
How to prove LTL-formulas true for all paths?
https://www.generacodice.com/pt/articolo/1567717/how-to-prove-ltl-formulas-true-for-all-paths
model-checking
-
linear-temporal-logic
cs.stackexchange
The importance of the language semantics for code generation and frameworks for code generation in model-driven development
https://www.generacodice.com/pt/articolo/1567562/the-importance-of-the-language-semantics-for-code-generation-and-frameworks-for-code-generation-in-model-driven-development
code-generation
-
semantics
-
programming-languages
-
model-checking
cs.stackexchange
The Interleaved Transition System for 2 Independent and Concurrent Transition Systems
https://www.generacodice.com/pt/articolo/1560276/the-interleaved-transition-system-for-2-independent-and-concurrent-transition-systems
model-checking
-
software-verification
-
transition-systems
cs.stackexchange
What's a side-effect free expression in Timed Automata?
https://www.generacodice.com/pt/articolo/1548523/what-s-a-side-effect-free-expression-in-timed-automata
model-checking
-
automata
-
software-verification
cs.stackexchange
What does least fix point and greatest fix point mean in Safety games
https://www.generacodice.com/pt/articolo/1545021/what-does-least-fix-point-and-greatest-fix-point-mean-in-safety-games
terminology
-
formal-methods
-
model-checking
-
mu-calculus
cs.stackexchange
«
5
6
7
8
9
10
»
Resultados encontrados: 120