Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in formal-verification
Use named instances for other instances
Mar 10, 2022
typeclass
idris
formal-verification
named-instance
semigroup
Proving Floor_Log2 in Spark
Nov 24, 2021
ada
formal-verification
ada2012
spark-2014
spark-formal-verification
Non-empty list append theorem in Coq
Sep 12, 2022
ocaml
coq
theorem-proving
coq-tactic
formal-verification
How to check if a function is pure in Python?
Nov 17, 2022
python
metaprogramming
decorator
purely-functional
formal-verification
Do formal methods of program verfication have a place in industry?
Sep 22, 2022
language-agnostic
logic
formal-verification
How to design and verify distributed systems?
Apr 28, 2017
distributed
protocols
high-availability
formal-verification
Proving the 100 Prisoners and a lightbulb with Dafny
Sep 16, 2021
formal-verification
loop-invariant
dafny
Are there any provable real-world languages? (scala?)
Aug 27, 2022
java
scala
testing
functional-programming
formal-verification
Why can't programs be proven?
Aug 26, 2022
math
theory
proof
axiom
formal-verification
Can Haskell functions be proved/model-checked/verified with correctness properties?
Mar 20, 2017
testing
haskell
functional-programming
formal-methods
formal-verification
How to read this GHC Core "proof"?
Dec 04, 2021
haskell
ghc
proof
haskell-platform
formal-verification
« Newer Entries