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 3 - GeneraCodice
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
Un exemple de quelque chose que vous pouvez vérifier formellement avec des preuves dans le développement de logiciels
https://www.generacodice.com/fr/articolo/1599979/un-exemple-de-quelque-chose-que-vous-pouvez-verifier-formellement-avec-des-preuves-dans-le-developpement-de-logiciels
formal-methods
-
proof-techniques
-
software-verification
cs.stackexchange
Comment définir les propositions atomiques dans la vérification du modèle
https://www.generacodice.com/fr/articolo/1599971/comment-definir-les-propositions-atomiques-dans-la-verification-du-modele
model-checking
-
software-verification
-
propositional-logic
cs.stackexchange
Comment spécifier le comportement des automates pour la vérification
https://www.generacodice.com/fr/articolo/1599949/comment-specifier-le-comportement-des-automates-pour-la-verification
automata
-
proof-techniques
-
software-verification
cs.stackexchange
Quel est l'État actuel, et d'Où il vient, lors de la Génération de Graphes d'Accessibilité
https://www.generacodice.com/fr/articolo/1599291/quel-est-l-etat-actuel-et-d-ou-il-vient-lors-de-la-generation-de-graphes-d-accessibilite
model-checking
-
automata
-
graphs
-
software-verification
-
petri-nets
cs.stackexchange
Exigences de haut niveau pour une preuve de «sauvegarder dans la base de données»
https://www.generacodice.com/fr/articolo/1599284/exigences-de-haut-niveau-pour-une-preuve-de-sauvegarder-dans-la-base-de-donnees
formal-methods
-
proof-techniques
-
software-verification
cs.stackexchange
«
1
2
3
4
5
6
»
Résultats trouvés: 106