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 formal-methods - Ceci est la page 7 - GeneraCodice
Hoare Logic, prouvant la règle de conjonction à partir des règles de base, possibles ou non?
https://www.generacodice.com/fr/articolo/1609494/hoare-logic-prouvant-la-regle-de-conjonction-a-partir-des-regles-de-base-possibles-ou-non
formal-methods
-
hoare-logic
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
Procédures efficaces et problème P vs NP
https://www.generacodice.com/fr/articolo/1607289/procedures-efficaces-et-probleme-p-vs-np
formal-methods
-
p-vs-np
-
mathematical-foundations
cs.stackexchange
Automates Buchi dans la vérification formelle de logiciels
https://www.generacodice.com/fr/articolo/1606927/automates-buchi-dans-la-verification-formelle-de-logiciels
formal-methods
-
model-checking
-
formal-languages
-
formal-grammars
-
buchi-automata
cs.stackexchange
La définition de la condition la plus faible pour une langue non déterministe
https://www.generacodice.com/fr/articolo/1606442/la-definition-de-la-condition-la-plus-faible-pour-une-langue-non-deterministe
semantics
-
formal-methods
-
nondeterminism
-
reference-request
cs.stackexchange
Comment prouver une formule LTL correcte dans un modèle spécifique?
https://www.generacodice.com/fr/articolo/1606137/comment-prouver-une-formule-ltl-correcte-dans-un-modele-specifique
logic
-
formal-methods
-
model-checking
-
linear-temporal-logic
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
Définissez une fonction de longueur sur $ a ^ {*} Leftarrow {n} $ tel que $ la longueur (l) $ produit la longueur de $ l $
https://www.generacodice.com/fr/articolo/1603544/definissez-une-fonction-de-longueur-sur-a-leftarrow-n-tel-que-la-longueur-l-produit-la-longueur-de-l
formal-methods
-
correctness-proof
cs.stackexchange
Relier une preuve à un programme Haskell
https://www.generacodice.com/fr/articolo/1602999/relier-une-preuve-a-un-programme-haskell
haskell
-
formal-methods
-
proof-techniques
-
correctness-proof
cs.stackexchange
Comment exprimer l'existence d'une stratégie gagnante du démarreur d'un jeu dans la logique temporelle?
https://www.generacodice.com/fr/articolo/1601846/comment-exprimer-l-existence-d-une-strategie-gagnante-du-demarreur-d-un-jeu-dans-la-logique-temporelle
formal-methods
-
model-checking
-
game-theory
-
linear-temporal-logic
-
computation-tree-logic
cs.stackexchange
«
4
5
6
7
8
9
»
Résultats trouvés: 188