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  health  show  apple  google  security  neuroscience  arstechnica.com  theverge.com  china  trump  go  psypost.org  psychology  nature.com  brain  linux  python 

A mechanically verified garbage collector for OCaml [pdf]

2 months ago kcsrk.info formalmethods ml ocaml pdf

Practical Alloy: A hands-on guide to formal software design

2 months ago practicalalloy.github.io book formalmethods

ACL2

3 months ago cs.utexas.edu formalmethods lisp

Jepsen Test on Patroni: A PostgreSQL High Availability Solution (2024)

3 months ago binwang.me database formalmethods postgresql

Regular Expressions which query Oracles

3 months ago arxiv.org formalmethods

Verified and Efficient Matching of Regular Expressions with Lookaround

3 months ago github.com formalmethods

CUTECat: Concolic Execution for Computational Law

3 months ago arxiv.org formalmethods law

When the Simplest Concurrent Program Goes Against All Intuition

4 months ago wyounas.github.io compsci formalmethods

Alloy 6.2.0 released

4 months ago alloytools.discourse.group formalmethods release

Verified post-quantum cryptography on the web

4 months ago pq.cryspen.com cryptography formalmethods web

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

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

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

4 months ago langdev.stackexchange.com formalmethods plt

Formal Methods: Just Good Engineering Practice? (2024)

4 months ago brooker.co.za formalmethods

TLA+ Monthly Development Update - December 2024

5 months ago foundation.tlapl.us formalmethods

The Hoare Cube

5 months ago johnwickerson.wordpress.com formalmethods

Stuff I learnt in 2024

4 months ago pixel-druid.com formalmethods

Symbolic Execution by Overloading __bool__

4 months ago philipzucker.com formalmethods python

Controlling Nondeterminism in Model-Based Tests with Prophecy Variables

4 months ago concerningquality.com database formalmethods testing

Formally Modeling Dreidel, the Sequel

5 months ago buttondown.com formalmethods math

jspin: GUI for running the SPIN model checker

6 months ago github.com formalmethods

Reading the Generalized Isolation Level Definitions paper with Alloy

5 months ago surfingcomplexity.blog database formalmethods

A Science of Concurrent Programs (final draft)

6 months ago lamport.azurewebsites.net book formalmethods

Obtaining statistical properties through modeling and simulation

5 months ago jack-vanlightly.com database formalmethods

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

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

GenMC: Model checking for concurrent C programs

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

How we prevent conflicts in authoritative DNS configuration using formal verification

5 months ago blog.cloudflare.com dns formalmethods lisp

Rust Foundation Collaborates with AWS to Verify Rust Standard Libraries

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

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

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

A Liveness Example in TLA+

7 months ago surfingcomplexity.blog formalmethods

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

7 months ago buttondown.com formalmethods testing

More →