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

New posts in formal-verification

Proving substitution property of successor over equality

dependent-type theorem-proving formal-verification lean

In concolic testing, what does "concrete execution" mean?

testing execution formal-verification symbolic-execution

Formally verifying the correctness of an algorithm

algorithm math proof correctness formal-verification

Use named instances for other instances

typeclass idris formal-verification named-instance semigroup

Proving Floor_Log2 in Spark

ada formal-verification ada2012 spark-2014 spark-formal-verification

Non-empty list append theorem in Coq

ocaml coq theorem-proving coq-tactic formal-verification

How to check if a function is pure in Python?

python metaprogramming decorator purely-functional formal-verification

Do formal methods of program verfication have a place in industry?

language-agnostic logic formal-verification

How to design and verify distributed systems?

distributed protocols high-availability formal-verification

Proving the 100 Prisoners and a lightbulb with Dafny

formal-verification loop-invariant dafny

Are there any provable real-world languages? (scala?)

java scala testing functional-programming formal-verification

Why can't programs be proven?

math theory proof axiom formal-verification

Can Haskell functions be proved/model-checked/verified with correctness properties?

testing haskell functional-programming formal-methods formal-verification

How to read this GHC Core "proof"?

haskell ghc proof haskell-platform formal-verification
« Newer Entries