Etiqueta software-verification - Esta es la página 1 - GeneraCodice

Una imagen general de la verificación formal en software.

https://www.generacodice.com/es/articolo/2470334/una-imagen-general-de-la-verificacion-formal-en-software
  formal-methods  -  software-verification  -  mathematical-foundations
cs.stackexchange cs.stackexchange

Do theorem provers demonstrate their own correctness?

https://www.generacodice.com/es/articolo/2448893/do-theorem-provers-demonstrate-their-own-correctness
  formal-methods  -  automated-theorem-proving  -  software-verification
cs.stackexchange cs.stackexchange

¿Por qué la regla de asignación es la forma en que está en Hoar Logic?

https://www.generacodice.com/es/articolo/2444167/por-que-la-regla-de-asignacion-es-la-forma-en-que-esta-en-hoar-logic
  logic  -  semantics  -  programming-languages  -  hoare-logic  -  software-verification
cs.stackexchange cs.stackexchange

Alternatives to Unit Testing?

https://www.generacodice.com/es/articolo/1621546/alternatives-to-unit-testing
  applications  -  software-verification
cs.stackexchange cs.stackexchange

(Generally) How to specify asynchronous action with side effects using logic equations

https://www.generacodice.com/es/articolo/1609055/generally-how-to-specify-asynchronous-action-with-side-effects-using-logic-equations
  logic  -  formal-methods  -  model-checking  -  software-verification
cs.stackexchange cs.stackexchange

Is there a way to convert a program into a Boolean formula?

https://www.generacodice.com/es/articolo/1604237/is-there-a-way-to-convert-a-program-into-a-boolean-formula
  logic  -  formal-methods  -  satisfiability  -  software-verification
cs.stackexchange cs.stackexchange

Stablishing termination of the construction of infinite stream with ranking functions

https://www.generacodice.com/es/articolo/1602399/stablishing-termination-of-the-construction-of-infinite-stream-with-ranking-functions
  functional-programming  -  termination  -  software-verification
cs.stackexchange cs.stackexchange

Best way to translate while loops to functions for software verification

https://www.generacodice.com/es/articolo/1602051/best-way-to-translate-while-loops-to-functions-for-software-verification
  functional-programming  -  imperative-programming  -  software-verification
cs.stackexchange cs.stackexchange

How a Symbolic Evaluator Generates Test Input for this Example

https://www.generacodice.com/es/articolo/1600767/how-a-symbolic-evaluator-generates-test-input-for-this-example
  software-verification  -  software-testing  -  symbolic-execution
cs.stackexchange cs.stackexchange

How CompCert “proves” different things in its codebase

https://www.generacodice.com/es/articolo/1600377/how-compcert-proves-different-things-in-its-codebase
  type-theory  -  coq  -  proof-techniques  -  software-verification
cs.stackexchange cs.stackexchange
Resultados encontrados: 106
scroll top