login sign up

Correctness — the paradigm for sustainable software development

nonullpointers.com · first added by @afreshcup
saved by
1 person
discussions · 1
Correctness – A paradigm for sustainable software development 214 pts · 182 comments · Apr 2019 214 pts · 182 comments · Apr 2019
0 people saved or upvoted this
from the discussion · 5
Learn TLA+ learntla.com learntla.com
2 people saved or upvoted this
Theorem Proving in Lean 3 (outdated) — Theorem Proving in Lean 3 (outdated) 3.23.0 documentation leanprover.github.io leanprover.github.io
0 people saved or upvoted this
http://web.cs.ucdavis.edu/~filkov/papers/lang_github.pdf web.cs.ucdavis.edu web.cs.ucdavis.edu
0 people saved or upvoted this
https://rise4fun.com/dafny rise4fun.com rise4fun.com
0 people saved or upvoted this
Curry On Talk: The Practice and Theory of TLA+ pron.github.io pron.github.io
0 people saved or upvoted this