Tag formal-methods - This is page 4 - GeneraCodice

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

VDMSL Recursive function minimum value of sequence

https://www.generacodice.com/en/articolo/2155072/vdmsl-recursive-function-minimum-value-of-sequence
  recursion  -  formal-methods  -  sequence  -  vdm++  -  vdm-sl
StackOverflow StackOverflow

Impact of semantics changes of Alloy 4.2 on exercise A.1.6 of the Alloy book?

https://www.generacodice.com/en/articolo/2052970/impact-of-semantics-changes-of-alloy-4-2-on-exercise-a-1-6-of-the-alloy-book
  formal-methods  -  alloy
StackOverflow StackOverflow

Formal Methods - Algebraic Specification vs Object Oriented

https://www.generacodice.com/en/articolo/1886270/formal-methods-algebraic-specification-vs-object-oriented
  formal-methods
StackOverflow StackOverflow

Problem with predicate in Alloy

https://www.generacodice.com/en/articolo/1658911/problem-with-predicate-in-alloy
  formal-methods  -  model-driven-development  -  alloy
StackOverflow StackOverflow

What would help when refactoring a large method to ensure that I don't break anything?

https://www.generacodice.com/en/articolo/1623012/what-would-help-when-refactoring-a-large-method-to-ensure-that-i-don-t-break-anything
  unit-testing  -  legacy  -  refactoring  -  formal-methods
softwareengineering.stackexchange softwareengineering.stackexchange

Modeling a set of probabilistic concurrent processes

https://www.generacodice.com/en/articolo/1621157/modeling-a-set-of-probabilistic-concurrent-processes
  formal-methods  -  model-checking  -  markov-chains
cs.stackexchange cs.stackexchange
Results found: 188
scroll top