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 1 - GeneraCodice
Une image générale de la vérification formelle dans les logiciels
https://www.generacodice.com/fr/articolo/2470334/une-image-generale-de-la-verification-formelle-dans-les-logiciels
formal-methods
-
software-verification
-
mathematical-foundations
cs.stackexchange
Do theorem provers demonstrate their own correctness?
https://www.generacodice.com/fr/articolo/2448893/do-theorem-provers-demonstrate-their-own-correctness
formal-methods
-
automated-theorem-proving
-
software-verification
cs.stackexchange
Pourquoi la règle d'affectation de la façon dont il est en Hoare Logique?
https://www.generacodice.com/fr/articolo/2444167/pourquoi-la-regle-d-affectation-de-la-facon-dont-il-est-en-hoare-logique
logic
-
semantics
-
programming-languages
-
hoare-logic
-
software-verification
cs.stackexchange
Alternatives aux tests unitaires?
https://www.generacodice.com/fr/articolo/1621546/alternatives-aux-tests-unitaires
applications
-
software-verification
cs.stackexchange
(Généralement) Comment spécifier une action asynchrone avec des effets secondaires à l'aide d'équations logiques
https://www.generacodice.com/fr/articolo/1609055/generalement-comment-specifier-une-action-asynchrone-avec-des-effets-secondaires-a-l-aide-d-equations-logiques
logic
-
formal-methods
-
model-checking
-
software-verification
cs.stackexchange
Existe-t-il un moyen de convertir un programme en formule booléenne?
https://www.generacodice.com/fr/articolo/1604237/existe-t-il-un-moyen-de-convertir-un-programme-en-formule-booleenne
logic
-
formal-methods
-
satisfiability
-
software-verification
cs.stackexchange
Terminaison de stablishing de la construction d'un flux infini avec des fonctions de classement
https://www.generacodice.com/fr/articolo/1602399/terminaison-de-stablishing-de-la-construction-d-un-flux-infini-avec-des-fonctions-de-classement
functional-programming
-
termination
-
software-verification
cs.stackexchange
Meilleur moyen de traduire lors des boucles en fonctions pour la vérification des logiciels
https://www.generacodice.com/fr/articolo/1602051/meilleur-moyen-de-traduire-lors-des-boucles-en-fonctions-pour-la-verification-des-logiciels
functional-programming
-
imperative-programming
-
software-verification
cs.stackexchange
Comment un évaluateur symbolique génère une entrée de test pour cet exemple
https://www.generacodice.com/fr/articolo/1600767/comment-un-evaluateur-symbolique-genere-une-entree-de-test-pour-cet-exemple
software-verification
-
software-testing
-
symbolic-execution
cs.stackexchange
Comment compcert «prouve» différentes choses dans sa base de code
https://www.generacodice.com/fr/articolo/1600377/comment-compcert-prouve-differentes-choses-dans-sa-base-de-code
type-theory
-
coq
-
proof-techniques
-
software-verification
cs.stackexchange
«
1
2
3
4
5
6
»
Résultats trouvés: 106