📋 Formal Verification

Model Checking, Theorem Proving, Specification Languages, Correctness, Proof Assistants, Correctness Guarantees, Logic Systems, Specification, Proof Assistants, Coq, Lean, Program Correctness, Agda, TLA+, Model Checking, Safety Properties, Specifications

Feeds to Scour
SubscribedAll
Scoured 16042 posts in 167.1 ms
CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems (Technical Report)
arxiv.org·1d
⏰Temporal Logic
Preview
Report Post
DASL: Big DASL (BDASL)
dasl.ing·18h
📋DFDL
Preview
Report Post
"Integrity by Design" through Ensuring "Illegal States are Unrepresentable" - Part 1
javajanitorjim.substack.com·2h·
Discuss: Substack
✅Format Verification
Preview
Report Post
**Abstract:** This paper presents a novel framework for the automated formal verification of distributed consensus protocols, essential for the reliability o...
freederia.com·1d
🤝Distributed Consensus
Preview
Report Post
Introduction to Coinduction in Agda Part 1: Coinductive Programming
jesper.sikanda.be·2d
🏛️Agda
Preview
Report Post
How to prove you know a discrete logarithm
johndcook.com·1d
🎯Interactive Provers
Preview
Report Post
Kona: Energy-Based Models (EBMs) for AI Reasoning
logicalintelligence.com·1d·
Discuss: Hacker News
🔍Type Inference
Preview
Report Post
Announcing SYNERGY, a read-eval-print loop (REPL) for working with AI assistants
logicgrimoire.wordpress.com·3h
🔗Concatenative Programming
Preview
Report Post
A closed, non-narrative formal corpus for auditable decision-making
dev.to·15h·
Discuss: DEV
🌳Context free grammars
Preview
Report Post
Structured Hints for Sample-Efficient Lean Theorem Proving
arxiv.org·1d
⚔️Lean Tactics
Preview
Report Post
Fluent AI Output Is Straining Human Verification Systems
hackernoon.com·7h
🔓Hacking
Preview
Report Post
Built a library of LLM prompts for RAG
agentset.ai·11h·
Discuss: Hacker News
🔗Constraint Handling
Preview
Report Post
The GNU C Library version 2.43 is now available
sourceware.org·8h·
Discuss: Hacker News
🔗Static Linking
Preview
Report Post
Data Structures and Algorithms
tech.stonecharioteer.com·1d·
Discuss: Hacker News
📼Tape Combinators
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·3d·
Discuss: Hacker News
⚖️Verification Calculi
Preview
Report Post
A Practitioner's Guide To Taxonomies, Part I
jessicatalisman.substack.com·22h·
Discuss: Substack
🗂️Information Architecture
Preview
Report Post
In praise of memory-leak-detection
euroquis.nl·1d
🧠Memory Allocators
Preview
Report Post
Building Your Personal Council of Experts
dubell.io·23h
⚔️Lean Tactics
Preview
Report Post
Introduction to Coinduction in Agda Part 1: Coinductive Programming
jesper.cx·1d·
Discuss: Hacker News
🏛️Agda
Preview
Report Post
Functional Optics for Modern Java
blog.scottlogic.com·1d
💧Liquid Types
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help