Italiano
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Articoli completi
Categorie
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Scrivi
Utente
Login
Registrazione
Recupero della password
Tag
Tag di lingua
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag model-checking - Questa è pagina 10 - GeneraCodice
Prodotto di un sistema di transizione e un automatto
https://www.generacodice.com/it/articolo/1543799/prodotto-di-un-sistema-di-transizione-e-un-automatto
model-checking
-
finite-automata
-
automata
cs.stackexchange
Descrizione e semantica dei grafici del programma
https://www.generacodice.com/it/articolo/1543700/descrizione-e-semantica-dei-grafici-del-programma
semantics
-
model-checking
-
software-verification
cs.stackexchange
Che cos'è esattamente il controllo del modello simbolico?
https://www.generacodice.com/it/articolo/1543090/che-cos-e-esattamente-il-controllo-del-modello-simbolico
formal-methods
-
model-checking
-
software-verification
cs.stackexchange
Definizione di un nuovo operatore in CTL
https://www.generacodice.com/it/articolo/1534586/definizione-di-un-nuovo-operatore-in-ctl
logic
-
model-checking
-
computation-tree-logic
-
temporal-logic
cs.stackexchange
Definizione di un nuovo operatore (informale) in CTL
https://www.generacodice.com/it/articolo/1534561/definizione-di-un-nuovo-operatore-informale-in-ctl
logic
-
model-checking
-
computation-tree-logic
cs.stackexchange
Applicazione dell'algoritmo DFS a un sistema di transizione per trovare stati raggiungibili
https://www.generacodice.com/it/articolo/1534487/applicazione-dell-algoritmo-dfs-a-un-sistema-di-transizione-per-trovare-stati-raggiungibili
model-checking
-
graph-traversal
-
transition-systems
cs.stackexchange
Qual è la differenza tra un sistema di transizione e un grafico del programma? (Controllo del modello) [chiuso
https://www.generacodice.com/it/articolo/1534068/qual-e-la-differenza-tra-un-sistema-di-transizione-e-un-grafico-del-programma-controllo-del-modello-chiuso
terminology
-
model-checking
-
transition-systems
cs.stackexchange
Qualche leggera confusione con l'operatore fino a CTL (ad esempio A U B)
https://www.generacodice.com/it/articolo/1534052/qualche-leggera-confusione-con-l-operatore-fino-a-ctl-ad-esempio-a-u-b
logic
-
model-checking
-
computation-tree-logic
cs.stackexchange
Dato questo sistema di transizione, per quali stati sono soddisfatte queste formule LTL (molto basilari)?
https://www.generacodice.com/it/articolo/1533821/dato-questo-sistema-di-transizione-per-quali-stati-sono-soddisfatte-queste-formule-ltl-molto-basilari
logic
-
model-checking
-
linear-temporal-logic
-
temporal-logic
cs.stackexchange
Controllo del modello: hardware vs software
https://www.generacodice.com/it/articolo/1527645/controllo-del-modello-hardware-vs-software
model-checking
-
undecidability
-
software-verification
cs.stackexchange
«
7
8
9
10
11
12
»
Risultati trovati: 120