✅ Format Verification - matmat · Scour

LemmaScript: A Verification Toolchain for TypeScript via Dafny ⚖️Verification Calculi

midspiral.com·3d·Lobsters, Hacker News

Making TransactionIsolation Checking Practical 🔐CBOR

Vibin’ With Erlang 🔍Z3 Parsing

blog.whenhen.com·1d·Lobsters

Show HN: A Swift Payment message validator built from Swift Standard rules ✅Binary Validation

cbprstar.com·3d·Hacker News

Java sealed classes and exhaustive pattern matching 🛡️Proof-Carrying Archives

neilmadden.blog·1d

JavaScript source maps 🎯Gradual Typing

gleam.run·1d·Lobsters, Hacker News

Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging 🔧Hardware Verification

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification ⚖️Verification Calculi

Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans 🔧Hardware Verification

LLM StructCore: Schema-Guided Reasoning Condensation and Deterministic Compilation 🔗Functional Compilers

Hallucination Inspector: A Fact-Checking Judge for API Migration 🧪Binary Fuzzing

Verification Modulo Tested Library Contracts ⚖️Verification Calculi

Validating UTF-8 In Less Than One Instruction Per Byte ✅Binary Validation

Implementing CPSLint: A Data Validation and Sanitisation Tool for Industrial Cyber-Physical Systems ✅CDDL Validation

PV-SQL: Synergizing Database Probing and Rule-based Verification for Text-to-SQL Agents ⛏️SQL Archaeology

FUSE: Ensembling Verifiers with Zero Labeled Data 🧪Binary Fuzzing

Crash-free Deductive Verifiers 🛡️Proof-Carrying Archives

SPENCE: A Syntactic Probe for Detecting Contamination in NL2SQL Benchmarks 🦀Rusty Databases

jMT: Testing Correctness of Java Memory Models (Extended Version) ⚡SMT Integration

Program Structure-aware Language Models: Targeted Software Testing beyond Textual Semantics 🔍Concolic Testing

No more posts from matmat's subscribed feeds.

Scour all 24370 feeds Learn more about Feeds

Log in to enable infinite scrolling