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 program-correctness - Ceci est la page 1 - GeneraCodice
Quelqu'un pourrait-il vérifier ma preuve de correction du programme récursive qui renvoie $ f (x, y) rightarrow x + y $?
https://www.generacodice.com/fr/articolo/1603483/quelqu-un-pourrait-il-verifier-ma-preuve-de-correction-du-programme-recursive-qui-renvoie-f-x-y-rightarrow-x-y
program-correctness
cs.stackexchange
Qu'est-ce que cet opérateur dans «La logique temporelle des programmes» Pnueli 1977?
https://www.generacodice.com/fr/articolo/1590840/qu-est-ce-que-cet-operateur-dans-la-logique-temporelle-des-programmes-pnueli-1977
linear-temporal-logic
-
program-correctness
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
Trouver une bonne boucle invariante pour une procédure d'alimentation
https://www.generacodice.com/fr/articolo/1565893/trouver-une-bonne-boucle-invariante-pour-une-procedure-d-alimentation
algorithms
-
loop-invariants
-
correctness-proof
-
program-correctness
cs.stackexchange
Prouver l'exactitude d'une boucle qui calcule la somme du tableau
https://www.generacodice.com/fr/articolo/1563426/prouver-l-exactitude-d-une-boucle-qui-calcule-la-somme-du-tableau
loops
-
loop-invariants
-
program-correctness
cs.stackexchange
Pourquoi la préconditionnement Le strengtening est sain dans la logique hoare
https://www.generacodice.com/fr/articolo/1549168/pourquoi-la-preconditionnement-le-strengtening-est-sain-dans-la-logique-hoare
logic
-
imperative-programming
-
hoare-logic
-
program-correctness
cs.stackexchange
Hoare Calcul Axiom de l'affectation incorrecte
https://www.generacodice.com/fr/articolo/1517422/hoare-calcul-axiom-de-l-affectation-incorrecte
proof-techniques
-
correctness-proof
-
hoare-logic
-
program-correctness
-
check-my-answer
cs.stackexchange
vérification du programme officiel dans la pratique
https://www.generacodice.com/fr/articolo/1126491/verification-du-programme-officiel-dans-la-pratique
programming-languages
-
software-verification
-
program-correctness
cs.stackexchange
Est-ce que cette garantie invariant de boucle que la variable ne change jamais?
https://www.generacodice.com/fr/articolo/1121116/est-ce-que-cette-garantie-invariant-de-boucle-que-la-variable-ne-change-jamais
loop-invariants
-
hoare-logic
-
program-correctness
cs.stackexchange
Boucle Invariants comme Tautologies
https://www.generacodice.com/fr/articolo/1119594/boucle-invariants-comme-tautologies
logic
-
algorithm-analysis
-
loop-invariants
-
correctness-proof
-
program-correctness
cs.stackexchange
«
1
2
3
»
Résultats trouvés: 26