Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in proof-of-correctness

What loop invariants to use for an integer logarithm?

c frama-c formal-verification loop-invariant proof-of-correctness

Proving correctness in formal logic

proof formal-methods post-conditions hoare-logic proof-of-correctness

Is a > c / b a safer equivalent (but avoiding overflow) version of a * b > c for positive integer division?

c++ integer overflow proof-of-correctness floor-division

Proving equivalence of programs

proof formal-verification formal-methods proof-of-correctness

How can I prove this binary search algorithm is correct using hoare logic?

algorithm binary-search correctness proof-of-correctness hoare-logic

Is there a way to prove a program has no bug?

proof formal-verification proof-of-correctness

Proof assistant for mathematics only

proof agda idris proof-of-correctness isar

Rigorous proof of the following C++ code's property?

c++ static-analysis coq proof-of-correctness

How to prove this invariant?

ada proof invariants proof-of-correctness spark-ada

Any tricks to get rid of boilerplate when constructing proofs of absurd predicate on enums?

haskell boilerplate dependent-type idris proof-of-correctness

Writing a proof for an algorithm [closed]

algorithm proof proof-of-correctness

Is there a way to prove properties about my C++ programs?

c++ verification coq proof-of-correctness

Proof of correctness: Algorithm for diameter of a tree in graph theory

algorithm tree graph-theory proof-of-correctness