Tag formal-methods - Questa è pagina 3 - GeneraCodice

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

https://www.generacodice.com/it/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/it/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/it/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/it/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/it/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/it/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/it/articolo/2479573/interpreting-a-proof-of-2-mathbb-n-being-uncountable
  formal-methods  -  type-theory  -  agda
cs.stackexchange cs.stackexchange

Un'immagine generale della verifica formale nel software

https://www.generacodice.com/it/articolo/2470334/un-immagine-generale-della-verifica-formale-nel-software
  formal-methods  -  software-verification  -  mathematical-foundations
cs.stackexchange cs.stackexchange

Come dimostrare che la sostituzione di un personaggio in una stringa in entrambi c e JavaScript è equivalente?

https://www.generacodice.com/it/articolo/2467666/come-dimostrare-che-la-sostituzione-di-un-personaggio-in-una-stringa-in-entrambi-c-e-javascript-e-equivalente
  programming-languages  -  formal-methods  -  proof-techniques
cs.stackexchange cs.stackexchange

Do theorem provers demonstrate their own correctness?

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