en
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Full articles
Categories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
You write
User
Login
Registration
Password recovery
Tags
Language tags
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag software-verification - This is page 3 - GeneraCodice
Is there a way to convert a program into a Boolean formula?
https://www.generacodice.com/en/articolo/1604237/is-there-a-way-to-convert-a-program-into-a-boolean-formula
logic
-
formal-methods
-
satisfiability
-
software-verification
cs.stackexchange
Stablishing termination of the construction of infinite stream with ranking functions
https://www.generacodice.com/en/articolo/1602399/stablishing-termination-of-the-construction-of-infinite-stream-with-ranking-functions
functional-programming
-
termination
-
software-verification
cs.stackexchange
Best way to translate while loops to functions for software verification
https://www.generacodice.com/en/articolo/1602051/best-way-to-translate-while-loops-to-functions-for-software-verification
functional-programming
-
imperative-programming
-
software-verification
cs.stackexchange
How a Symbolic Evaluator Generates Test Input for this Example
https://www.generacodice.com/en/articolo/1600767/how-a-symbolic-evaluator-generates-test-input-for-this-example
software-verification
-
software-testing
-
symbolic-execution
cs.stackexchange
How CompCert “proves” different things in its codebase
https://www.generacodice.com/en/articolo/1600377/how-compcert-proves-different-things-in-its-codebase
type-theory
-
coq
-
proof-techniques
-
software-verification
cs.stackexchange
An example of something you can formally verify with proofs in Software Development
https://www.generacodice.com/en/articolo/1599979/an-example-of-something-you-can-formally-verify-with-proofs-in-software-development
formal-methods
-
proof-techniques
-
software-verification
cs.stackexchange
How to define the Atomic Propositions in Model Checking
https://www.generacodice.com/en/articolo/1599971/how-to-define-the-atomic-propositions-in-model-checking
model-checking
-
software-verification
-
propositional-logic
cs.stackexchange
How to Specify the Behavior of Automata for Verification
https://www.generacodice.com/en/articolo/1599949/how-to-specify-the-behavior-of-automata-for-verification
automata
-
proof-techniques
-
software-verification
cs.stackexchange
What the State is, and Where it comes from, when Generating Reachability Graphs
https://www.generacodice.com/en/articolo/1599291/what-the-state-is-and-where-it-comes-from-when-generating-reachability-graphs
model-checking
-
automata
-
graphs
-
software-verification
-
petri-nets
cs.stackexchange
High-level requirements for a Proof of “Saving to the Database”
https://www.generacodice.com/en/articolo/1599284/high-level-requirements-for-a-proof-of-saving-to-the-database
formal-methods
-
proof-techniques
-
software-verification
cs.stackexchange
«
1
2
3
4
5
6
»
Results found: 106