علامة hoare-logic - هذه الصفحة 6 - GeneraCodice

How to prove the equivalence between Hoare and Floyd assignment axioms?

https://www.generacodice.com/ar/articolo/1590237/how-to-prove-the-equivalence-between-hoare-and-floyd-assignment-axioms
  hoare-logic  -  software-verification
cs.stackexchange cs.stackexchange

Relation between Hoare Type Theory and pointers

https://www.generacodice.com/ar/articolo/1589626/relation-between-hoare-type-theory-and-pointers
  type-theory  -  hoare-logic  -  dependent-types
cs.stackexchange cs.stackexchange

Hoare logic - total correctness of loops

https://www.generacodice.com/ar/articolo/1583552/hoare-logic-total-correctness-of-loops
  hoare-logic
cs.stackexchange cs.stackexchange

Proving the loop invariant for a simple program in Hoare logic

https://www.generacodice.com/ar/articolo/1580874/proving-the-loop-invariant-for-a-simple-program-in-hoare-logic
  loop-invariants  -  hoare-logic  -  check-my-answer
cs.stackexchange cs.stackexchange

What's the meaning of the $\top$ symbol in a Hoare triple?

https://www.generacodice.com/ar/articolo/1576962/what-s-the-meaning-of-the-top-symbol-in-a-hoare-triple
  hoare-logic  -  software-verification
cs.stackexchange cs.stackexchange

What does it mean to “strengthen the precondition and weaken the postcondition” in Hoare logic?

https://www.generacodice.com/ar/articolo/1576330/what-does-it-mean-to-strengthen-the-precondition-and-weaken-the-postcondition-in-hoare-logic
  semantics  -  correctness-proof  -  hoare-logic
cs.stackexchange cs.stackexchange

How to change the algorithm implication by changing the invariant?

https://www.generacodice.com/ar/articolo/1573807/how-to-change-the-algorithm-implication-by-changing-the-invariant
  algorithms  -  hoare-logic
cs.stackexchange cs.stackexchange

Difference between Dependent type , refinement type and Hoare Logic

https://www.generacodice.com/ar/articolo/1566021/difference-between-dependent-type-refinement-type-and-hoare-logic
  hoare-logic  -  dependent-types
cs.stackexchange cs.stackexchange

How to find loop invariant from weakest precondition?

https://www.generacodice.com/ar/articolo/1566018/how-to-find-loop-invariant-from-weakest-precondition
  loop-invariants  -  correctness-proof  -  hoare-logic
cs.stackexchange cs.stackexchange

Check whether loop invariants are correct?

https://www.generacodice.com/ar/articolo/1561557/check-whether-loop-invariants-are-correct
  loop-invariants  -  correctness-proof  -  hoare-logic  -  software-verification
cs.stackexchange cs.stackexchange
العثور على نتائج: 79
scroll top