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  google  show  apple  release  go  youtube.com  techcrunch.com  web  video  eurekalert.org  nature.com  trump  javascript  china  bloomberg.com  nytimes.com 
Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

jspin: GUI for running the SPIN model checker

16 days ago github.com formalmethods

Reading the Generalized Isolation Level Definitions paper with Alloy

36 hours ago surfingcomplexity.blog database formalmethods

Rust Foundation Collaborates with AWS to Verify Rust Standard Libraries

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

Obtaining statistical properties through modeling and simulation

40 hours ago jack-vanlightly.com database formalmethods

GenMC: Model checking for concurrent C programs

11 days ago plv.mpi-sws.org c formalmethods

A Science of Concurrent Programs

14 days ago lamport.azurewebsites.net book formalmethods

How we prevent conflicts in authoritative DNS configuration using formal verification

41 hours ago blog.cloudflare.com dns formalmethods lisp

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

17 days ago protocols-made-fun.com distributed formalmethods

A Liveness Example in TLA+

35 days ago surfingcomplexity.blog formalmethods

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

35 days ago buttondown.com formalmethods testing

Specifying serializability in TLA+

23 days ago surfingcomplexity.blog formalmethods

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

24 days ago aws.amazon.com distributed formalmethods

TLA+ Wiki

33 days ago docs.tlapl.us formalmethods

The RAISE specification language, method, and tools

31 days ago raisetools.github.io formalmethods

Why I use TLA+ and not(TLA+)

44 days ago protocols-made-fun.com formalmethods

TLA from first principles

29 days ago buttondown.com formalmethods math

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

27 days ago pure.royalholloway.ac.uk formalmethods go pdf

Verified Programming in Dafny

31 days ago doc.ic.ac.uk formalmethods pdf plt

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

44 days ago youtube.com c formalmethods video

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

47 days ago ironclad.nongnu.org formalmethods kernel osdev

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

2 months ago ahelwer.ca formalmethods

the soundless interstitium

57 days ago taylor.town formalmethods web

Specification and Model-checking of the ZKsync Governance Protocol

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

Conway's law

2 months ago ncatlab.org distributed formalmethods math

Logic and Computation Intertwined

2 months ago cs.uwaterloo.ca formalmethods lisp

VeriNum: Formally Verified Numerical Methods

3 months ago verinum.org formalmethods

The Future of TLA+ [pdf]

2 months ago lamport.azurewebsites.net formalmethods pdf

State and time are the same thing

2 months ago buttondown.com formalmethods plt

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

2 months ago github.com formalmethods plt

Streams, Calculational Proofs and Dafny

3 months ago rdivyanshu.github.io formalmethods

More →