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 1 - GeneraCodice
A general picture of formal verification in software
https://www.generacodice.com/en/articolo/2470334/a-general-picture-of-formal-verification-in-software
formal-methods
-
software-verification
-
mathematical-foundations
cs.stackexchange
Do theorem provers demonstrate their own correctness?
https://www.generacodice.com/en/articolo/2448893/do-theorem-provers-demonstrate-their-own-correctness
formal-methods
-
automated-theorem-proving
-
software-verification
cs.stackexchange
Why is the assignment rule the way it is in Hoare Logic?
https://www.generacodice.com/en/articolo/2444167/why-is-the-assignment-rule-the-way-it-is-in-hoare-logic
logic
-
semantics
-
programming-languages
-
hoare-logic
-
software-verification
cs.stackexchange
Alternatives to Unit Testing?
https://www.generacodice.com/en/articolo/1621546/alternatives-to-unit-testing
applications
-
software-verification
cs.stackexchange
(Generally) How to specify asynchronous action with side effects using logic equations
https://www.generacodice.com/en/articolo/1609055/generally-how-to-specify-asynchronous-action-with-side-effects-using-logic-equations
logic
-
formal-methods
-
model-checking
-
software-verification
cs.stackexchange
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
«
1
2
3
4
5
6
»
Results found: 106