Français
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Articles complets
Catégories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
vous écrivez
Utilisateur
Connexion
Inscription
Récupération de mot de passe
Mots clés
Étiquettes linguistiques
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag software-verification - Ceci est la page 5 - GeneraCodice
Style de passage à continuation: qu'entend-on par «CPS'ing»?
https://www.generacodice.com/fr/articolo/1591912/style-de-passage-a-continuation-qu-entend-on-par-cps-ing
continuations
-
hoare-logic
-
software-verification
cs.stackexchange
Comment prouver l'équivalence entre les axiomes d'attribution Hoare et Floyd?
https://www.generacodice.com/fr/articolo/1590237/comment-prouver-l-equivalence-entre-les-axiomes-d-attribution-hoare-et-floyd
hoare-logic
-
software-verification
cs.stackexchange
LTL à GBA contre LTL à BA
https://www.generacodice.com/fr/articolo/1589030/ltl-a-gba-contre-ltl-a-ba
model-checking
-
automata
-
linear-temporal-logic
-
buchi-automata
-
software-verification
cs.stackexchange
Quelles sont les études comparatives sur les outils de vérification de terminaison du programme? [fermé
https://www.generacodice.com/fr/articolo/1586010/quelles-sont-les-etudes-comparatives-sur-les-outils-de-verification-de-terminaison-du-programme-ferme
software-verification
cs.stackexchange
Quelle est la différence entre $ x: a $ et $ x xi a $?
https://www.generacodice.com/fr/articolo/1583634/quelle-est-la-difference-entre-x-a-et-x-xi-a
type-theory
-
first-order-logic
-
software-verification
cs.stackexchange
Propriété complexe des polynômes de corner clairsemés par induction
https://www.generacodice.com/fr/articolo/1583373/propriete-complexe-des-polynomes-de-corner-clairsemes-par-induction
cryptography
-
induction
-
software-verification
cs.stackexchange
Comment utiliser l'induction structurelle pour prouver la loi sur les listes
https://www.generacodice.com/fr/articolo/1581313/comment-utiliser-l-induction-structurelle-pour-prouver-la-loi-sur-les-listes
induction
-
proof-techniques
-
software-verification
-
lists
cs.stackexchange
Propriétés de prouvants formellement de la fonction de pliage
https://www.generacodice.com/fr/articolo/1580982/proprietes-de-prouvants-formellement-de-la-fonction-de-pliage
functional-programming
-
first-order-logic
-
software-verification
cs.stackexchange
Petri Net Vérificateur [fermé
https://www.generacodice.com/fr/articolo/1580169/petri-net-verificateur-ferme
software-verification
-
petri-nets
cs.stackexchange
Exactitude du programme, la spécification
https://www.generacodice.com/fr/articolo/1580129/exactitude-du-programme-la-specification
formal-methods
-
software-verification
-
program-correctness
cs.stackexchange
«
2
3
4
5
6
7
»
Résultats trouvés: 106