中国
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
完整文章
类别
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
你写
用户
登录
登记
找回密码
标签
语言标签
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
标签software-verification - 这是页1 - GeneraCodice
软件中正式验证的概括
https://www.generacodice.com/cn/articolo/2470334/软件中正式验证的概括
formal-methods
-
software-verification
-
mathematical-foundations
cs.stackexchange
Do theorem provers demonstrate their own correctness?
https://www.generacodice.com/cn/articolo/2448893/do-theorem-provers-demonstrate-their-own-correctness
formal-methods
-
automated-theorem-proving
-
software-verification
cs.stackexchange
为什么赋值规则是Hoare逻辑中的方式?
https://www.generacodice.com/cn/articolo/2444167/为什么赋值规则是hoare逻辑中的方式
logic
-
semantics
-
programming-languages
-
hoare-logic
-
software-verification
cs.stackexchange
Alternatives to Unit Testing?
https://www.generacodice.com/cn/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/cn/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/cn/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/cn/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/cn/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/cn/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/cn/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
»
发现结果: 106