Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://rpi4-host.progscrape.com/
Trending tags: ai  github.com  rust  trump  google  health  go  vibecoding  video  linux  web  security  release  youtube.com  game  china  apple  theguardian.com  nytimes.com  theverge.com 

GenMC: Model checking for concurrent C programs

9 months ago plv.mpi-sws.org c formalmethods

How we prevent conflicts in authoritative DNS configuration using formal verification

8 months ago blog.cloudflare.com dns formalmethods lisp

Rust Foundation Collaborates with AWS to Verify Rust Standard Libraries

8 months ago foundation.rust-lang.org aws formalmethods rust testing

Model checking safety of Ben-Or’s Byzantine consensus with Apalache

9 months ago protocols-made-fun.com distributed formalmethods

A Liveness Example in TLA+

10 months ago surfingcomplexity.blog formalmethods

It's not enough for a program to work – it has to work for the right reasons

10 months ago buttondown.com formalmethods testing

Specifying serializability in TLA+

9 months ago surfingcomplexity.blog formalmethods

An unexpected discovery: Automated reasoning often makes systems more efficient and easier to maintain

9 months ago aws.amazon.com distributed formalmethods

TLA+ Wiki

9 months ago docs.tlapl.us formalmethods

The RAISE specification language, method, and tools

9 months ago raisetools.github.io formalmethods