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  theverge.com  web  arstechnica.com  show  video  google  medicine  game  go  microsoft  psychology  brain  nature.com  health  javascript  psypost.org  techcrunch.com 
Loading...

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

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

7 hours ago ironclad.nongnu.org formalmethods kernel osdev

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

16 days ago ahelwer.ca formalmethods

the soundless interstitium

10 days ago taylor.town formalmethods web

Specification and Model-checking of the ZKsync Governance Protocol

21 days ago protocols-made-fun.com cryptography formalmethods security

Conway's law

14 days ago ncatlab.org distributed formalmethods math

Logic and Computation Intertwined

32 days ago cs.uwaterloo.ca formalmethods lisp

VeriNum: Formally Verified Numerical Methods

44 days ago verinum.org formalmethods

The Future of TLA+ [pdf]

37 days ago lamport.azurewebsites.net formalmethods pdf

State and time are the same thing

37 days ago buttondown.com formalmethods plt

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

36 days ago github.com formalmethods plt

Streams, Calculational Proofs and Dafny

2 months ago rdivyanshu.github.io formalmethods

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

43 days ago dl.acm.org formalmethods historical pdf plt

Teaching Concurrency (2009)

39 days ago lamport.azurewebsites.net concurrency education formalmethods pdf

Beal's Conjecture Revisited

53 days ago norvig.com formalmethods math python

A Knownbits Abstract Domain for the Toy Optimizer, Correctly

2 months ago pypy.org compiler formalmethods plt

Formal verification makes RSA faster — and faster to deploy

55 days ago amazon.science cryptography formalmethods performance rsa

Formally verifying security properties of CHERI processors

2 months ago cheriot.org formalmethods hardware security

Knuckledragger, a Semi-Automated Python Proof Assistant

2 months ago philipzucker.com formalmethods python

Quint

2 months ago quint-lang.org formalmethods

SciLean: Scientific computing in Lean 4

2 months ago github.com formalmethods science

Provably Correct, Secure, and Leakage-Free Systems

2 months ago anish.io formalmethods security

The Hitchhiker's Guide to Logical Verification [pdf] (2023)

2 months ago browncs1951x.github.io formalmethods pdf plt

Tlsd: Generate (message) sequence diagrams from TLA+ state traces

2 months ago github.com formalmethods visualization

Natural Number Game

2 months ago adam.math.hhu.de formalmethods game

Use of Formal Methods by a Silicon Manufacturer (1988)

2 months ago people.cs.bris.ac.uk formalmethods hardware pdf

Modeling B-trees in TLA+

2 months ago surfingcomplexity.blog database formalmethods

Composing TLA+ Specifications with State Machines

3 months ago hillelwayne.com formalmethods

Simple proofs with Z3Py

3 months ago philipzucker.com formalmethods

Differential Analysis: A Summary

3 months ago blog.brownplt.org formalmethods

Cryptographic protocol verification with hax

4 months ago cryspen.com cryptography formalmethods

More →