한국어
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/ko/articolo/2470334/의-일반적인-그림을-공식-인증서-소프트웨어
formal-methods
-
software-verification
-
mathematical-foundations
cs.stackexchange
Do theorem provers demonstrate their own correctness?
https://www.generacodice.com/ko/articolo/2448893/do-theorem-provers-demonstrate-their-own-correctness
formal-methods
-
automated-theorem-proving
-
software-verification
cs.stackexchange
Hoare Logic에서 할당 규칙이 왜 그런가요?
https://www.generacodice.com/ko/articolo/2444167/hoare-logic에서-할당-규칙이-왜-그런가요
logic
-
semantics
-
programming-languages
-
hoare-logic
-
software-verification
cs.stackexchange
Alternatives to Unit Testing?
https://www.generacodice.com/ko/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/ko/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/ko/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/ko/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/ko/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/ko/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/ko/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