Tag formal-methods - This is page 3 - GeneraCodice

What are the barriers that prevent widespread adoption of formal methods? [closed]

https://www.generacodice.com/en/articolo/2977791/what-are-the-barriers-that-prevent-widespread-adoption-of-formal-methods-closed
  formal-methods  -  development-process  -  code-quality
softwareengineering.stackexchange softwareengineering.stackexchange

How to prove a function returns a value

https://www.generacodice.com/en/articolo/2960469/how-to-prove-a-function-returns-a-value
  verification  -  formal-methods
softwareengineering.stackexchange softwareengineering.stackexchange

How to map an API into another one?

https://www.generacodice.com/en/articolo/2882852/how-to-map-an-api-into-another-one
  api  -  case-tools  -  domain-driven-design  -  formal-methods  -  wrapper
softwareengineering.stackexchange softwareengineering.stackexchange

What does “loops must be folded to ensure termination” mean?

https://www.generacodice.com/en/articolo/2834874/what-does-loops-must-be-folded-to-ensure-termination-mean
  loops  -  formal-methods  -  abstract-interpretation
StackOverflow StackOverflow

Is “Unit testing” a form of formal method?

https://www.generacodice.com/en/articolo/2618394/is-unit-testing-a-form-of-formal-method
  unit-testing  -  formal-methods  -  concepts
softwareengineering.stackexchange softwareengineering.stackexchange

How “Best” to capture State Transitions in a formal software requirements specification

https://www.generacodice.com/en/articolo/2610312/how-best-to-capture-state-transitions-in-a-formal-software-requirements-specification
  formal-methods  -  requirements
softwareengineering.stackexchange softwareengineering.stackexchange

Interpreting a proof of $2^\mathbb{N}$ being uncountable

https://www.generacodice.com/en/articolo/2479573/interpreting-a-proof-of-2-mathbb-n-being-uncountable
  formal-methods  -  type-theory  -  agda
cs.stackexchange cs.stackexchange

A general picture of formal verification in software

https://www.generacodice.com/en/articolo/2470334/a-general-picture-of-formal-verification-in-software
  formal-methods  -  software-verification  -  mathematical-foundations
cs.stackexchange cs.stackexchange

How to prove that replacing a character in a string in both C and JavaScript is equivalent?

https://www.generacodice.com/en/articolo/2467666/how-to-prove-that-replacing-a-character-in-a-string-in-both-c-and-javascript-is-equivalent
  programming-languages  -  formal-methods  -  proof-techniques
cs.stackexchange cs.stackexchange

Do theorem provers demonstrate their own correctness?

https://www.generacodice.com/en/articolo/2448893/do-theorem-provers-demonstrate-their-own-correctness
  formal-methods  -  automated-theorem-proving  -  software-verification
cs.stackexchange cs.stackexchange
Results found: 188
scroll top