Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  show  apple  health  google  neuroscience  security  trump  theverge.com  arstechnica.com  china  linux  nature.com  psypost.org  brain  go  psychology  microsoft 

Specifying serializability in TLA+

6 months ago surfingcomplexity.blog formalmethods

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

6 months ago aws.amazon.com distributed formalmethods

TLA+ Wiki

7 months ago docs.tlapl.us formalmethods

The RAISE specification language, method, and tools

6 months ago raisetools.github.io formalmethods

Why I use TLA+ and not(TLA+)

7 months ago protocols-made-fun.com formalmethods

TLA from first principles

6 months ago buttondown.com formalmethods math

Automated Verification of Go Programs via Bounded Model Checking (2021)

6 months ago pure.royalholloway.ac.uk formalmethods go pdf

Verified Programming in Dafny

6 months ago doc.ic.ac.uk formalmethods pdf plt

Formally verifying tiny bits of QEMU using Frama-C, Richard W.M. Jones, 2020

7 months ago youtube.com c formalmethods video

Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada

7 months ago ironclad.nongnu.org formalmethods kernel osdev

TLA⁺ is more than a DSL for breadth-first search

8 months ago ahelwer.ca formalmethods

the soundless interstitium

7 months ago taylor.town formalmethods web

Specification and Model-checking of the ZKsync Governance Protocol

8 months ago protocols-made-fun.com cryptography formalmethods security

Conway's law

7 months ago ncatlab.org distributed formalmethods math

Logic and Computation Intertwined

8 months ago cs.uwaterloo.ca formalmethods lisp

VeriNum: Formally Verified Numerical Methods

9 months ago verinum.org formalmethods

The Future of TLA+ [pdf]

8 months ago lamport.azurewebsites.net formalmethods pdf

State and time are the same thing

8 months ago buttondown.com formalmethods plt

aya-dev: A proof assistant and a dependently-typed language

8 months ago github.com formalmethods plt

Streams, Calculational Proofs and Dafny

9 months ago rdivyanshu.github.io formalmethods

What does it mean to be a programming language, anyhow? (2021) [pdf]

8 months ago dl.acm.org formalmethods historical pdf plt

Teaching Concurrency (2009)

8 months ago lamport.azurewebsites.net concurrency education formalmethods pdf

Beal's Conjecture Revisited

9 months ago norvig.com formalmethods math python

A Knownbits Abstract Domain for the Toy Optimizer, Correctly

9 months ago pypy.org compiler formalmethods plt

Formal verification makes RSA faster — and faster to deploy

9 months ago amazon.science cryptography formalmethods performance rsa

Formally verifying security properties of CHERI processors

9 months ago cheriot.org formalmethods hardware security

Knuckledragger, a Semi-Automated Python Proof Assistant

9 months ago philipzucker.com formalmethods python

Quint

9 months ago quint-lang.org formalmethods

SciLean: Scientific computing in Lean 4

9 months ago github.com formalmethods science

Provably Correct, Secure, and Leakage-Free Systems

10 months ago anish.io formalmethods security

More →