📋 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 15546 posts in 419.1 ms
Lessons from Formally Verified Deployed Software Systems (Extended version)
arxiv.org·1d
⚖️Verification Calculi
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
⚖️Verification Calculi
Preview
Report Post
Hint-Based SMT Proof Reconstruction
arxiv.org·3h
🧮SMT Solvers
Preview
Report Post
What does an AI QA actually do? Breaking down the role everyone’s curious about but few understand
dev.to·5h·
Discuss: DEV
🔍Concolic Testing
Preview
Report Post
Subterms Modulo Theories I
philipzucker.com·3d
🎯Automata theory
Preview
Report Post
Evolution of LLMs use by a programmer
asfaload.com·15h·
Discuss: Hacker News
🧩WASM Components
Preview
Report Post
Making a Language
thunderseethe.dev·9h
🛠Language Design
Preview
Report Post
Simplex, a workflow specification language for autonomous agents
github.com·1d·
Discuss: Hacker News
⚙️TLA+
Preview
Report Post
One part of me wonders whether this would’ve been caught earlier if I spent some more time analizing the possible approaches for this refactor. Honestl...
lmika.org·3h
🔓Reverse engineering
Preview
Report Post
We built Cedar with automated reasoning and differential testing (2023)
amazon.science·2d·
Discuss: Hacker News
🔮Proof Search
Preview
Report Post
Kolmogorov Complexity
en.wikipedia.org·20h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Preview
Report Post
Explainer: Tree-sitter vs. LSP
lambdaland.org·1d
🌳Context free grammars
Preview
Report Post
**Abstract:** This paper introduces a novel approach to automated proof verification within quantifiable type theory, significantly exceeding existing capaci...
freederia.com·4d
👑Coq Tactics
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·20h
📊Static Analysis
Preview
Report Post
Test, don't (just) verify
alperenkeles.com·6d·
Discuss: Lobsters
⚙️Proof Engineering
Preview
Report Post
On the way to step functions: the two worlds
blog.julik.nl·2d
🐚Shell Calculus
Preview
Report Post
Filtering as domain logic
blog.ploeh.dk·2d·
Discuss: r/programming
🗄️Database Internals
Preview
Report Post
SLSA: Safeguarding artifact integrity across any software supply chain
sam.roque-worcel.com·1d·
Discuss: Hacker News
🔗Supply Chain
Preview
Report Post
Amazon shopping automation without vision: verification gate+local model (3B)
news.ycombinator.com·17h·
Discuss: Hacker News
📏Linear Logic
Preview
Report Post
Conversation: LLMs and the what/how loop
martinfowler.com·17h
🧩WASM Components
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