✓ Formal Verification - hello · Scour

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types 🔄Concurrency Patterns

Show HN: Formal Verification with Lean 💎Refinement Types

daniellowengrub.com·9h·Hacker News

VCVio: Verified Cryptography in Lean via Oracle Effects and Handlers 💎Refinement Types

eprint.iacr.org·5d

A New Interaction Concept for Interactive and Autoactive Program Verification 🔍eBPF Verifier

Containment Verification: AI Safety Guarantees Independent of Alignment 🌊CALM Theorem

MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries 📊Criterion.rs

Arcane: An Assertion Reduction Framework through Semantic Clustering and MCTS-Guided Rule Exploring 🔄Burrows-Wheeler Transform

Combining Mechanical and Agentic Specification Inference for Move 🎭Program Synthesis

Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification 👻Phantom Types

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code 🔀Crossbeam

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics 🔍Type Inference

Logics for Context-free Hyperproperties 🎯Hindley-Milner

Induction rules for Transition Algebra 🔍Type Inference

POSTCONDBENCH: Benchmarking Correctness and Completeness in Formal Postcondition Inference ✅Model Checking

A Practical Specification Language for Automatic Quantum Program Verification (Technical Report) ⚛️Quantum Computing

Continuations and Completeness in Proof-theoretic Semantics ∘Category Theory

Syntax and Semantics of Linear Dependent Types 📏Linear Types

Towards Definitional Interpreters for Hoare Logics 📏Linear Types

A Categorical Semantics for Linear Logical Frameworks 📏Linear Types

Hard CNF Instances for Ideal Proof Systems 🧮SMT Solvers

No more posts from hello's subscribed feeds.

Scour all 24963 feeds Learn more about Feeds

Log in to enable infinite scrolling