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 formal-methods - Questa è pagina 5 - GeneraCodice
Do theorem provers demonstrate their own correctness?
https://www.generacodice.com/it/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/it/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/it/articolo/2052970/impact-of-semantics-changes-of-alloy-4-2-on-exercise-a-1-6-of-the-alloy-book
formal-methods
-
alloy
StackOverflow
Metodi formali - Specifiche algebriche VS Oggetto orientato all'oggetto
https://www.generacodice.com/it/articolo/1886270/metodi-formali-specifiche-algebriche-vs-oggetto-orientato-all-oggetto
formal-methods
StackOverflow
Problema con predicato in lega
https://www.generacodice.com/it/articolo/1658911/problema-con-predicato-in-lega
formal-methods
-
model-driven-development
-
alloy
StackOverflow
Cosa aiuterebbe quando refactory un grande metodo per assicurarmi di non rompere nulla?
https://www.generacodice.com/it/articolo/1623012/cosa-aiuterebbe-quando-refactory-un-grande-metodo-per-assicurarmi-di-non-rompere-nulla
unit-testing
-
legacy
-
refactoring
-
formal-methods
softwareengineering.stackexchange
Modellazione di un insieme di processi simultanei probabilistici
https://www.generacodice.com/it/articolo/1621157/modellazione-di-un-insieme-di-processi-simultanei-probabilistici
formal-methods
-
model-checking
-
markov-chains
cs.stackexchange
Dimostrare con i principi di co-induzione
https://www.generacodice.com/it/articolo/1620578/dimostrare-con-i-principi-di-co-induzione
formal-methods
-
coq
-
proof-techniques
-
coinduction
cs.stackexchange
Le due proprietà LTL sono $ gf ( psi_1 land f psi_2) $ e $ gf ( psi_2 land f psi_1) $ equivalente?
https://www.generacodice.com/it/articolo/1611211/le-due-proprieta-ltl-sono-gf-psi-1-land-f-psi-2-e-gf-psi-2-land-f-psi-1-equivalente
logic
-
formal-methods
-
linear-temporal-logic
cs.stackexchange
Logica di hoare, dimostrando la regola congiunta dalle regole di base, possibile o no?
https://www.generacodice.com/it/articolo/1609494/logica-di-hoare-dimostrando-la-regola-congiunta-dalle-regole-di-base-possibile-o-no
formal-methods
-
hoare-logic
cs.stackexchange
«
2
3
4
5
6
7
»
Risultati trovati: 188