Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Formal Methods
📐 Formal Methods
TLA+, Alloy, model checking, temporal logic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
79
posts in
22.3
ms
Implementing Interfaces in Python: ABCs and Protocols
✅
Software Verification
realpython.com
·
3d
3 days ago
Actions for Implementing Interfaces in Python: ABCs and Protocols
Verifying LTL for Infinite State Systems via Termination Analysis
✅
Software Verification
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Verifying LTL for Infinite State Systems via Termination Analysis
MCP
solved
tool calling. A2A
solved
coordination. What solves transport?
💻
Tech Industry
venturebeat.com
·
5d
5 days ago
·
Cited by 1 article
Actions for MCP solved tool calling. A2A solved coordination. What solves transport?
Cranelift
🧪
PBT
6
articles covering this post
cranelift.dev
·
4d
4 days ago
·
Hacker News
·
Cited by 6 articles
·
Covers:
How do I get started?
,
GCC GNU website is down
+2 more
Actions for Cranelift
Less-relevant results
Bcachefs 1.38.6 - the performance release
✅
Software Verification
Content type:
Release
patreon.com
·
1d
1 day ago
·
Lobsters
,
Hacker News
Actions for Bcachefs 1.38.6 - the performance release
AI as a Force Multiplier for Security Engineers
✅
Software Verification
Content type:
Blog
sigmaprime.io
·
3d
3 days ago
Actions for AI as a Force Multiplier for Security Engineers
The Sequence Radar #877: Last Week in AI: Anthropic Ships, Apple Borrows, Musk Lists, Bezos Builds
🚀
Startups
Content type:
News
Content type:
Blog
thesequence.substack.com
·
4d
4 days ago
·
Substack
·
Covers 7 stories
Actions for The Sequence Radar #877: Last Week in AI: Anthropic Ships, Apple Borrows, Musk Lists, Bezos Builds
Process-Verified
Reinforcement Learning for
Theorem
Proving
via Lean
✅
Software Verification
Content type:
Academic
arxiv.org
·
6h
6 hours ago
Actions for Process-Verified Reinforcement Learning for Theorem Proving via Lean
Show HN: A Terrible Way to Consume Hacker News – AI Slop
✅
Software Verification
deadinternet.tech
·
6d
6 days ago
·
Hacker News
·
Covers 6 stories
Actions for Show HN: A Terrible Way to Consume Hacker News – AI Slop
AWS Weekly Roundup: AWS FinOps Agent in preview, Gemma 4 on Bedrock, Kiro
Pro
Max, and more (June 15, 2026)
✅
Software Verification
Content type:
Blog
aws.amazon.com
·
3d
3 days ago
·
Covers:
Statement on the US government directive to suspend access to Fable 5 and Mythos 5
Actions for AWS Weekly Roundup: AWS FinOps Agent in preview, Gemma 4 on Bedrock, Kiro Pro Max, and more (June 15, 2026)
Diffusion-Proof: Recipe for
Formal
Theorem
Proving
Beyond Auto-Regressive Generation
✅
Software Verification
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Diffusion-Proof: Recipe for Formal Theorem Proving Beyond Auto-Regressive Generation
Why Bangladesh chose Malaysia and China before India for PM Rahman’s debut tour
✅
Software Verification
channelnewsasia.com
·
6d
6 days ago
Actions for Why Bangladesh chose Malaysia and China before India for PM Rahman’s debut tour
Analyzing the Narration Gap in
LLM-Solver
Loops
✅
Software Verification
Content type:
Academic
arxiv.org
·
6h
6 hours ago
Actions for Analyzing the Narration Gap in LLM-Solver Loops
An MSO Framework for Weak-Memory
Verification
and Robustness
✅
Software Verification
Content type:
Academic
arxiv.org
·
6h
6 hours ago
Actions for An MSO Framework for Weak-Memory Verification and Robustness
Computing Twin-Width via Treedepth and Vertex Integrity
✅
Software Verification
Content type:
Academic
arxiv.org
·
6h
6 hours ago
Actions for Computing Twin-Width via Treedepth and Vertex Integrity
VERITAS:
Verifier-Guided
Proof Search for Zero-Shot
Formal
Theorem
Proving
✅
Software Verification
Content type:
Academic
arxiv.org
·
6h
6 hours ago
Actions for VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving
UMB: A Unified Markov Binary
Format
for Probabilistic
Model
Checking
(extended version)
✅
Software Verification
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)
As You Wish: Mission Planning with
Formal
Verification
using LLMs in Precision Agriculture
✅
Software Verification
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for As You Wish: Mission Planning with Formal Verification using LLMs in Precision Agriculture
A Neuro-Symbolic Approach to Strategy Synthesis for Strategic
Logics
✅
Software Verification
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for A Neuro-Symbolic Approach to Strategy Synthesis for Strategic Logics
Monadic dependence from reducts, and applications to twin-width of oriented graphs
✅
Software Verification
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Monadic dependence from reducts, and applications to twin-width of oriented graphs
Sign up or log in to see more results
Sign Up
Login
« Page 2
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help
Like
Save
Dislike
Report