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 formal-methods - This is page 6 - GeneraCodice
Proving with co-induction principles
https://www.generacodice.com/en/articolo/1620578/proving-with-co-induction-principles
formal-methods
-
coq
-
proof-techniques
-
coinduction
cs.stackexchange
Are the two LTL properties $GF(\psi_1 \land F\psi_2 )$ and $GF(\psi_2 \land F\psi_1 )$ equivalent?
https://www.generacodice.com/en/articolo/1611211/are-the-two-ltl-properties-gf-psi-1-land-f-psi-2-and-gf-psi-2-land-f-psi-1-equivalent
logic
-
formal-methods
-
linear-temporal-logic
cs.stackexchange
Hoare logic, proving conjunction rule from basic rules, possible or not?
https://www.generacodice.com/en/articolo/1609494/hoare-logic-proving-conjunction-rule-from-basic-rules-possible-or-not
formal-methods
-
hoare-logic
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
Effective Procedures and P vs NP Problem
https://www.generacodice.com/en/articolo/1607289/effective-procedures-and-p-vs-np-problem
formal-methods
-
p-vs-np
-
mathematical-foundations
cs.stackexchange
Buchi automata in formal software verification
https://www.generacodice.com/en/articolo/1606927/buchi-automata-in-formal-software-verification
formal-methods
-
model-checking
-
formal-languages
-
formal-grammars
-
buchi-automata
cs.stackexchange
The definition of weakest precondition for a non-deterministic language
https://www.generacodice.com/en/articolo/1606442/the-definition-of-weakest-precondition-for-a-non-deterministic-language
semantics
-
formal-methods
-
nondeterminism
-
reference-request
cs.stackexchange
How to prove a LTL formula correct in a specific model?
https://www.generacodice.com/en/articolo/1606137/how-to-prove-a-ltl-formula-correct-in-a-specific-model
logic
-
formal-methods
-
model-checking
-
linear-temporal-logic
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
Define a length function over $A^{*} \leftarrow{N}$ such that $length(l)$ outputs the length of $l$
https://www.generacodice.com/en/articolo/1603544/define-a-length-function-over-a-leftarrow-n-such-that-length-l-outputs-the-length-of-l
formal-methods
-
correctness-proof
cs.stackexchange
«
3
4
5
6
7
8
»
Results found: 188