Português
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Artigos completos
Categorias
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Você escreve
Do utilizador
Conecte-se
Cadastro
Recuperação de senha
Tag
Tags de idioma
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag formal-methods - Esta é a página 8 - GeneraCodice
Is there a way to convert a program into a Boolean formula?
https://www.generacodice.com/pt/articolo/1604237/is-there-a-way-to-convert-a-program-into-a-boolean-formula
logic
-
formal-methods
-
satisfiability
-
software-verification
cs.stackexchange
Define a length function over $A^{*} \leftarrow{N}$ such that $length(l)$ outputs the length of $l$
https://www.generacodice.com/pt/articolo/1603544/define-a-length-function-over-a-leftarrow-n-such-that-length-l-outputs-the-length-of-l
formal-methods
-
correctness-proof
cs.stackexchange
Relating a proof to a Haskell program
https://www.generacodice.com/pt/articolo/1602999/relating-a-proof-to-a-haskell-program
haskell
-
formal-methods
-
proof-techniques
-
correctness-proof
cs.stackexchange
How to express the existence of winning strategy of the starter of a game in temporal logic?
https://www.generacodice.com/pt/articolo/1601846/how-to-express-the-existence-of-winning-strategy-of-the-starter-of-a-game-in-temporal-logic
formal-methods
-
model-checking
-
game-theory
-
linear-temporal-logic
-
computation-tree-logic
cs.stackexchange
How to collect all states of a behavior in TLA+?
https://www.generacodice.com/pt/articolo/1601608/how-to-collect-all-states-of-a-behavior-in-tla
formal-methods
-
model-checking
-
tlaplus
cs.stackexchange
How to solve for the precondition give a postcondtion that must satisfy two conditions
https://www.generacodice.com/pt/articolo/1601436/how-to-solve-for-the-precondition-give-a-postcondtion-that-must-satisfy-two-conditions
logic
-
formal-methods
-
hoare-logic
cs.stackexchange
An example of something you can formally verify with proofs in Software Development
https://www.generacodice.com/pt/articolo/1599979/an-example-of-something-you-can-formally-verify-with-proofs-in-software-development
formal-methods
-
proof-techniques
-
software-verification
cs.stackexchange
How does TLC check liveness properties?
https://www.generacodice.com/pt/articolo/1599656/how-does-tlc-check-liveness-properties
formal-methods
-
model-checking
-
formal-languages
-
reference-request
-
tlaplus
cs.stackexchange
High-level requirements for a Proof of “Saving to the Database”
https://www.generacodice.com/pt/articolo/1599284/high-level-requirements-for-a-proof-of-saving-to-the-database
formal-methods
-
proof-techniques
-
software-verification
cs.stackexchange
How to use Hoare Logic to Prove this Assertion
https://www.generacodice.com/pt/articolo/1599259/how-to-use-hoare-logic-to-prove-this-assertion
formal-methods
-
hoare-logic
-
software-verification
cs.stackexchange
«
5
6
7
8
9
10
»
Resultados encontrados: 188