Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  health  video  web  show  apple  environment  psychology  nature.com  vibecoding  release  google  arstechnica.com  trump  security  psypost.org  techcrunch.com  game 

CUTECat: Concolic Execution for Computational Law

5 months ago arxiv.org formalmethods law

When the Simplest Concurrent Program Goes Against All Intuition

5 months ago wyounas.github.io compsci formalmethods

Alloy 6.2.0 released

6 months ago alloytools.discourse.group formalmethods release

Verified post-quantum cryptography on the web

5 months ago pq.cryspen.com cryptography formalmethods web

About Safety, Security and yes, C++ and Rust (2023)

5 months ago yoric.github.io c++ formalmethods plt rust security

How can we compare expressive power between two Turing-complete languages?

6 months ago langdev.stackexchange.com formalmethods plt

Formal Methods: Just Good Engineering Practice? (2024)

6 months ago brooker.co.za formalmethods

TLA+ Monthly Development Update - December 2024

6 months ago foundation.tlapl.us formalmethods

The Hoare Cube

7 months ago johnwickerson.wordpress.com formalmethods

Stuff I learnt in 2024

6 months ago pixel-druid.com formalmethods

Symbolic Execution by Overloading __bool__

6 months ago philipzucker.com formalmethods python

Controlling Nondeterminism in Model-Based Tests with Prophecy Variables

6 months ago concerningquality.com database formalmethods testing

Formally Modeling Dreidel, the Sequel

6 months ago buttondown.com formalmethods math

jspin: GUI for running the SPIN model checker

8 months ago github.com formalmethods

Reading the Generalized Isolation Level Definitions paper with Alloy

7 months ago surfingcomplexity.blog database formalmethods

A Science of Concurrent Programs (final draft)

8 months ago lamport.azurewebsites.net book formalmethods

Obtaining statistical properties through modeling and simulation

7 months ago jack-vanlightly.com database formalmethods

Semantics of Programming (video lectures that go with the "Concrete Semantics" book)

7 months ago live.rbg.tum.de formalmethods go video

GenMC: Model checking for concurrent C programs

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

How we prevent conflicts in authoritative DNS configuration using formal verification

7 months ago blog.cloudflare.com dns formalmethods lisp

Rust Foundation Collaborates with AWS to Verify Rust Standard Libraries

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

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

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

A Liveness Example in TLA+

8 months ago surfingcomplexity.blog formalmethods

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

8 months ago buttondown.com formalmethods testing

Specifying serializability in TLA+

8 months ago surfingcomplexity.blog formalmethods

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

8 months ago aws.amazon.com distributed formalmethods

TLA+ Wiki

8 months ago docs.tlapl.us formalmethods

The RAISE specification language, method, and tools

8 months ago raisetools.github.io formalmethods

Why I use TLA+ and not(TLA+)

9 months ago protocols-made-fun.com formalmethods

TLA from first principles

8 months ago buttondown.com formalmethods math

More →