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 6 - GeneraCodice
What is the difference between $x:A$ and $x \Xi A$?
https://www.generacodice.com/en/articolo/1583634/what-is-the-difference-between-x-a-and-x-xi-a
type-theory
-
first-order-logic
-
software-verification
cs.stackexchange
Complex property of sparse horner polynomials by induction
https://www.generacodice.com/en/articolo/1583373/complex-property-of-sparse-horner-polynomials-by-induction
cryptography
-
induction
-
software-verification
cs.stackexchange
How to use structural induction to prove law on lists
https://www.generacodice.com/en/articolo/1581313/how-to-use-structural-induction-to-prove-law-on-lists
induction
-
proof-techniques
-
software-verification
-
lists
cs.stackexchange
Formally proving properties of fold function
https://www.generacodice.com/en/articolo/1580982/formally-proving-properties-of-fold-function
functional-programming
-
first-order-logic
-
software-verification
cs.stackexchange
Petri Net Verifier [closed]
https://www.generacodice.com/en/articolo/1580169/petri-net-verifier-closed
software-verification
-
petri-nets
cs.stackexchange
Program Correctness, The specification
https://www.generacodice.com/en/articolo/1580129/program-correctness-the-specification
formal-methods
-
software-verification
-
program-correctness
cs.stackexchange
What's the meaning of the $\top$ symbol in a Hoare triple?
https://www.generacodice.com/en/articolo/1576962/what-s-the-meaning-of-the-top-symbol-in-a-hoare-triple
hoare-logic
-
software-verification
cs.stackexchange
What are common formal techniques for proving functional code correct?
https://www.generacodice.com/en/articolo/1572800/what-are-common-formal-techniques-for-proving-functional-code-correct
functional-programming
-
books
-
reference-request
-
proof-techniques
-
software-verification
cs.stackexchange
Data Flow Analysis with exceptions
https://www.generacodice.com/en/articolo/1570048/data-flow-analysis-with-exceptions
programming-languages
-
software-verification
-
program-optimization
cs.stackexchange
Anotation rules for while rule in deductive verification
https://www.generacodice.com/en/articolo/1563111/anotation-rules-for-while-rule-in-deductive-verification
formal-methods
-
software-verification
cs.stackexchange
«
3
4
5
6
7
8
»
Results found: 106