progscrape: formalmethods

Fuzz Map

3 months ago fuzzmap.io debugging formalmethods testing visualization

the PyPy "known bits" JIT optimization

4 months ago mastodon.social compiler formalmethods performance python

Translation of Rust's core and alloc crates to Coq for formal verification

4 months ago formal.land formalmethods rust

A hybrid approach to semi-automated Rust verification

4 months ago arxiv.org formalmethods rust

Temporal – Good Things Happen

4 months ago recife.pfeodrippe.com formalmethods lisp

The Type of Sprintf

4 months ago ryanbrewer.dev formalmethods

Creusot 0.1 (deductive verification tool for Rust)

4 months ago github.com formalmethods release rust

TLA⁺ Unicode support: Learning to work with others in open source

4 months ago ahelwer.ca formalmethods unicode

Verified Rust for low-level systems code

5 months ago github.com formalmethods plt rust

Grothendieck’s use of equality

4 months ago arxiv.org formalmethods math pdf plt

Easy to use Performance Modeling

4 months ago fizzbee.io compsci distributed formalmethods performance

This is why you should never use de Bruijn indices, especially if you program in Rust

4 months ago safinaskar.writeas.com compiler formalmethods haskell plt rust

Dafny Power User: Type-parameter modes: variance and cardinality preservation

4 months ago leino.science formalmethods plt

Why Writing Correct Software Is Hard (2016)

4 months ago pron.github.io compiler formalmethods math

SK Logic in Egglog

4 months ago chriswarbo.net compsci formalmethods haskell math show

1001 Representations of Syntax with Binding (2021)

4 months ago jesper.cx compiler formalmethods haskell plt

New Foundations is consistent – a difficult mathematical proof proved using Lean

5 months ago leanprover-community.github.io formalmethods

ProVerB — SLEBoK

5 months ago slebok.github.io formalmethods

Stanford AI Syllabus (1980)

5 months ago saildart.org ai formalmethods stanford

seL4 on AArch64 is now verified for functional correctness

5 months ago proofcraft.systems aarch64 formalmethods

Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour

5 months ago dl.acm.org c formalmethods

Understanding Delta Lake's consistency model

5 months ago jack-vanlightly.com distributed formalmethods

How to improve the RISC-V specification

5 months ago alastairreid.github.io formalmethods hardware risc

On Invariance and Inconsistency

6 months ago hansdieterhiep.nl formalmethods

SeL4 Device Driver Framework 0.4.0

5 months ago lists.sel4.systems formalmethods osdev performance security

Forge: A Tool to Teach Formal Methods

5 months ago blog.brownplt.org formalmethods

Show HN: FizzBee – Formal methods in Python

6 months ago fizzbee.io formalmethods python show

Don't let Alloy facts make your specs a fiction

5 months ago hillelwayne.com formalmethods

TLA+ Web Explorer

5 months ago will62794.github.io formalmethods web

CakeML

5 months ago cakeml.org compiler formalmethods ml