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  apple  health  arstechnica.com  database  security  theguardian.com  trump  video  web  microsoft  china  neuroscience  theverge.com  psychology  compiler  media  google 

Controlling Nondeterminism in Model-Based Tests with Prophecy Variables

8 months ago concerningquality.com database formalmethods testing

Formally Modeling Dreidel, the Sequel

9 months ago buttondown.com formalmethods math

jspin: GUI for running the SPIN model checker

10 months ago github.com formalmethods

Reading the Generalized Isolation Level Definitions paper with Alloy

9 months ago surfingcomplexity.blog database formalmethods

A Science of Concurrent Programs (final draft)

10 months ago lamport.azurewebsites.net book formalmethods

Obtaining statistical properties through modeling and simulation

9 months ago jack-vanlightly.com database formalmethods

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

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

GenMC: Model checking for concurrent C programs

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

How we prevent conflicts in authoritative DNS configuration using formal verification

9 months ago blog.cloudflare.com dns formalmethods lisp

Rust Foundation Collaborates with AWS to Verify Rust Standard Libraries

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