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 11 - GeneraCodice
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
Differenza tra equivalenza e implicazioni
https://www.generacodice.com/it/articolo/1527568/differenza-tra-equivalenza-e-implicazioni
logic
-
model-checking
-
computation-tree-logic
-
temporal-logic
cs.stackexchange
Determinare l'insieme di stati che soddisfano le formule CTL
https://www.generacodice.com/it/articolo/1518277/determinare-l-insieme-di-stati-che-soddisfano-le-formule-ctl
model-checking
-
computation-tree-logic
-
software-verification
-
temporal-logic
cs.stackexchange
Logica dell'albero di calcolo e strutture Kripke
https://www.generacodice.com/it/articolo/1491058/logica-dell-albero-di-calcolo-e-strutture-kripke
logic
-
model-checking
-
computation-tree-logic
-
temporal-logic
cs.stackexchange
Sistemi di transizione che soddisfano LTL ma non CTL e viceversa
https://www.generacodice.com/it/articolo/1490614/sistemi-di-transizione-che-soddisfano-ltl-ma-non-ctl-e-viceversa
logic
-
model-checking
-
linear-temporal-logic
-
computation-tree-logic
cs.stackexchange
applicando CTL / LTL modello di controllo su alcuni sistemi
https://www.generacodice.com/it/articolo/1118936/applicando-ctl-ltl-modello-di-controllo-su-alcuni-sistemi
concurrency
-
model-checking
-
computation-tree-logic
-
software-verification
cs.stackexchange
Alla ricerca di un libro che deriva e costruisce un modello di applicazione di controllo
https://www.generacodice.com/it/articolo/1097914/alla-ricerca-di-un-libro-che-deriva-e-costruisce-un-modello-di-applicazione-di-controllo
formal-methods
-
model-checking
-
proof-assistants
-
reference-request
cs.stackexchange
Witness for the $ UE (\ phi_1, \ phi_2) $ utilizzando BDDS
https://www.generacodice.com/it/articolo/1097444/witness-for-the-ue-phi-1-phi-2-utilizzando-bdds
formal-methods
-
model-checking
cs.stackexchange
È ora di costruire un GNBA per LTL formula
https://www.generacodice.com/it/articolo/1097251/e-ora-di-costruire-un-gnba-per-ltl-formula
logic
-
formal-methods
-
model-checking
-
automata
-
linear-temporal-logic
cs.stackexchange
Come posso sequenze assegnare ai costanti nella sezione Costanti di un file di configurazione TLA +?
https://www.generacodice.com/it/articolo/918798/come-posso-sequenze-assegnare-ai-costanti-nella-sezione-costanti-di-un-file-di-configurazione-tla
configuration
-
model-checking
-
constants
-
tla+
-
tlc
StackOverflow
«
7
8
9
10
11
12
»
Risultati trovati: 120