formalmethods - Formal methods | Lobsters

Stories tagged as formalmethods – Formal methods

Tip: read stories across multiple tags with /t/tag1,tag2

4

Proving Algebraic Datatypes are “Algebraic” formalmethods math ml soap.coffee
authored by lthms 10 hours ago | cached | 1 comment

1
12

Weak and Strong Fairness formalmethods hillelwayne.com
authored by hwayne 9 days ago | cached | 2 comments

2
31

The TodoMVC Showdown: Testing with WebCheck formalmethods testing web wickstrom.tech
authored by owi 10 days ago | cached | 1 comment

1
11

Train Sidings - A TLA+ Example formalmethods heinbockel.eu
via hwayne 11 days ago | cached | no comments

0
11

Stan - A static analysis tool for Haskell (similar to errorprone for Java) formalmethods haskell github.com
via TomMD 11 days ago | cached | 2 comments

2
6

Verified Programming with Project Everest video formalmethods plt youtube.com
via brendan 16 days ago | cached | no comments

0
11

SAT solver on top of regex matcher formalmethods yurichev.com
via calvin 20 days ago | cached | 3 comments

3
4

Alive2: Automatic verification of LLVM optimizations compilers formalmethods github.com
via sanxiyn 22 days ago | cached | 1 comment

1
5

Summer of Zoom – A curated list of remote conferences ☶ compsci event formalmethods oktatok.karolyrobert.hu
via kodfodrasz 1 month ago | cached | no comments

0
4

How did software get so reliable without proof? formalmethods practices surfingcomplexity.blog
via minimax 1 month ago | cached | no comments

0
11

Formal Methods: From Academia to Industrial Practice pdf formalmethods practices arxiv.org
via hwayne 1 month ago | cached | no comments

0
43

seL4 is verified on RISC-V assembly formalmethods hardware osdev microkerneldude.wordpress.com
via ethoh 1 month ago | cached | 13 comments

13
4

Verifying Popcount formalmethods blog.regehr.org
via hwayne 1 month ago | cached | no comments

0
15

Using Formal Methods to Eliminate Exploitable Bugs video formalmethods security youtube.com
via brendan 1 month ago | cached | 5 comments

5
1

Using Z3 Theorem on AVR Firmware assembly debugging formalmethods medium.com
via calvin 1 month ago | cached | 4 comments

4
1

Specifying and Model Checking Workflows of Single Page Applications with TLA+ pdf formalmethods web arxiv.org
via hwayne 1 month ago | cached | no comments

0
4

A beginners step by step guide to Alloy formalmethods msitko.pl
via yonkeltron 1 month ago | cached | no comments

0
6

Open Sourcing the People's Code formalmethods osdev dev.to
via prepend 1 month ago | cached | 1 comment

1
6

Synthesizing JIT Compilers for In-Kernel DSLs pdf compilers formalmethods cs.utexas.edu
via hyperpape 1 month ago | cached | no comments

0
6

Separation Logic (2019) ☶ formalmethods programming cacm.acm.org
via nickpsecurity 1 month ago | cached | no comments

0
6

Another Path for Software Quality? Automated Software Verification and OpenBSD pdf formalmethods openbsd doi.asiabsdcon.org
via sergeyb 1 month ago | cached | no comments

0
14

TLA+ on OpenBSD formalmethods openbsd bronevichok.ru
authored by sergeyb 1 month ago | cached | no comments

0
6

ZetZ - a symbolic verifier and transpiler to bare metal C c compilers formalmethods plt github.com
via jado 2 months ago | cached | 1 comment

1
12

A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World (2010) c c++ compilers formalmethods cacm.acm.org
via wesleyac 2 months ago | cached | 6 comments

6
5

Verified sequential malloc/free pdf c formalmethods cs.princeton.edu
via sanxiyn 2 months ago | cached | 1 comment

1