Tag software-verification - Esta é a página 4 - GeneraCodice

How to Specify the Behavior of Automata for Verification

https://www.generacodice.com/pt/articolo/1599949/how-to-specify-the-behavior-of-automata-for-verification
  automata  -  proof-techniques  -  software-verification
cs.stackexchange cs.stackexchange

What the State is, and Where it comes from, when Generating Reachability Graphs

https://www.generacodice.com/pt/articolo/1599291/what-the-state-is-and-where-it-comes-from-when-generating-reachability-graphs
  model-checking  -  automata  -  graphs  -  software-verification  -  petri-nets
cs.stackexchange cs.stackexchange

High-level requirements for a Proof of “Saving to the Database”

https://www.generacodice.com/pt/articolo/1599284/high-level-requirements-for-a-proof-of-saving-to-the-database
  formal-methods  -  proof-techniques  -  software-verification
cs.stackexchange cs.stackexchange

How to use Hoare Logic to Prove this Assertion

https://www.generacodice.com/pt/articolo/1599259/how-to-use-hoare-logic-to-prove-this-assertion
  formal-methods  -  hoare-logic  -  software-verification
cs.stackexchange cs.stackexchange

How to apply Operational Semantics to this function

https://www.generacodice.com/pt/articolo/1599204/how-to-apply-operational-semantics-to-this-function
  logic  -  formal-methods  -  proof-techniques  -  software-verification
cs.stackexchange cs.stackexchange

Continuation-passing style: what is meant by “CPS'ing”?

https://www.generacodice.com/pt/articolo/1591912/continuation-passing-style-what-is-meant-by-cps-ing
  continuations  -  hoare-logic  -  software-verification
cs.stackexchange cs.stackexchange

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

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

LTL to GBA versus LTL to BA

https://www.generacodice.com/pt/articolo/1589030/ltl-to-gba-versus-ltl-to-ba
  model-checking  -  automata  -  linear-temporal-logic  -  buchi-automata  -  software-verification
cs.stackexchange cs.stackexchange

What are some comparative studies on program termination verification tools? [closed]

https://www.generacodice.com/pt/articolo/1586010/what-are-some-comparative-studies-on-program-termination-verification-tools-closed
  software-verification
cs.stackexchange cs.stackexchange

What is the difference between $x:A$ and $x \Xi A$?

https://www.generacodice.com/pt/articolo/1583634/what-is-the-difference-between-x-a-and-x-xi-a
  type-theory  -  first-order-logic  -  software-verification
cs.stackexchange cs.stackexchange
Resultados encontrados: 106
scroll top