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  show  web  google  apple  psychology  security  release  environment  arstechnica.com  vibecoding  nature.com  game  psypost.org  techcrunch.com  compiler 

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

8 months ago pure.royalholloway.ac.uk formalmethods go pdf

Verified Programming in Dafny

8 months ago doc.ic.ac.uk formalmethods pdf plt

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

9 months ago youtube.com c formalmethods video

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

9 months ago ironclad.nongnu.org formalmethods kernel osdev

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

9 months ago ahelwer.ca formalmethods

the soundless interstitium

9 months ago taylor.town formalmethods web

Specification and Model-checking of the ZKsync Governance Protocol

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

Conway's law

9 months ago ncatlab.org distributed formalmethods math

Logic and Computation Intertwined

10 months ago cs.uwaterloo.ca formalmethods lisp

VeriNum: Formally Verified Numerical Methods

10 months ago verinum.org formalmethods