Skip to main content
Scour
Discover
Docs
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Formal Methods
✅ Formal Methods
Specific
formal verification, TLA+, model checking, program proofs
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
28
posts in
27.7
ms
🤖
LLMs
arXiv
·
3d
3 days ago
KBSpec: LLM-driven
Formal
Specification
Generation with Evolving Domain Knowledge Base
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for KBSpec: LLM-driven Formal Specification Generation with Evolving Domain Knowledge Base
🔧
Compilers
nLab
·
1d
1 day ago
Smyth's dictionary
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Smyth's dictionary
🤖
LLMs
galois.com
·
1d
1 day ago
Formal
Verification
Benchmarks Are the Key to Ironclad Software Infrastructure
Covers
2 stories
See all stories this covers
including
Arc AGI 2025
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Formal Verification Benchmarks Are the Key to Ironclad Software Infrastructure
Less-relevant results
🤖
LLMs
tlaplus-process-studio.com
·
5d
5 days ago
Show HN:
TLA
+ Process Studio
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Show HN: TLA+ Process Studio
🛠️
Hardware Hacking
ELISA
·
2d
2 days ago
Recap –
Modernizing
Software
Verification
– Craig Christianson, United States Air Force
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Recap – Modernizing Software Verification – Craig Christianson, United States Air Force
⚙️
Systems Programming
spawn-queue.acm.org
·
6d
6 days ago
You Don’t Know Jack About
Formal
Verification
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for You Don’t Know Jack About Formal Verification
🔧
Compilers
github.github.com
·
4h
4 hours ago
GitHub Flavored Markdown
Spec
Covers
New comment by dschuessler in "Markdown is holding you back"
Covered by
4 sources
See all sources covering this story
including
docs.astro.build
,
markedapp.com
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for GitHub Flavored Markdown Spec
🔧
Compilers
arXiv
·
2d
2 days ago
Bit-Precise Conformance Testing of Simulink
Model
Checkers
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Bit-Precise Conformance Testing of Simulink Model Checkers
🤨
AI Criticism
stng.substack.com
·
3d
3 days ago
Why Software Requirements Get Easier in an AI Economy
Discussed on
Substack
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Why Software Requirements Get Easier in an AI Economy
🤖
LLMs
arXiv
·
11h
11 hours ago
Theory-Scale
Auto-Formalization
of
Logics
for Computer Science
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Theory-Scale Auto-Formalization of Logics for Computer Science
🌍
Network Infrastructure
coindesk.com
·
3d
3 days ago
Vitalik Buterin says Ethereum Foundation will cut budget 40% in major reset
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Vitalik Buterin says Ethereum Foundation will cut budget 40% in major reset
🛠️
Hardware Hacking
arXiv
·
2d
2 days ago
AutoPRAC: Automating Attack Discovery for PRAC-Based Rowhammer Defenses using
Model
Checkers
Covered by
Semiconductor Engineering
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for AutoPRAC: Automating Attack Discovery for PRAC-Based Rowhammer Defenses using Model Checkers
🤨
AI Criticism
stunning-naiad-817d91.netlify.app
·
3d
3 days ago
AI and Math State of the Art
Covers
9 stories
See all stories this covers
including
An OpenAI model has disproved a central conjecture in discrete geometry
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for AI and Math State of the Art
🤖
LLMs
arXiv
·
2d
2 days ago
Cycle-Consistent Neural Explanation of
Formal
Verification
Certificates
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Cycle-Consistent Neural Explanation of Formal Verification Certificates
🔧
Compilers
arXiv
·
2d
2 days ago
ESBMC-PLC+: A Unified IEC~61131-3
Formal
Verification
Framework as a PLCverif Successor
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for ESBMC-PLC+: A Unified IEC~61131-3 Formal Verification Framework as a PLCverif Successor
🤨
AI Criticism
TheSequence
·
5d
5 days ago
The Sequence Radar #880: Last Week in AI: A $60B Cursor Deal, Google's Brain Drain, and Midjourney's Body Scanner
Covers
5 stories
See all stories this covers
including
Midjourney Ultrasonic CT Scanner
Discussed on
Substack
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The Sequence Radar #880: Last Week in AI: A $60B Cursor Deal, Google's Brain Drain, and Midjourney's Body Scanner
🤖
LLMs
arXiv
·
3d
3 days ago
VeriBound: PAC-Bayesian Generalization Bounds for Process Reward
Models
Trained with
Formal
Verification
Tools
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for VeriBound: PAC-Bayesian Generalization Bounds for Process Reward Models Trained with Formal Verification Tools
🔍
Reverse Engineering
arXiv
·
2d
2 days ago
A Topological Framework for Finite Behavioural Observations and
Verification
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for A Topological Framework for Finite Behavioural Observations and Verification
🤨
AI Criticism
arXiv
·
3d
3 days ago
ForEx: A
Formal
Verification
Framework for Explainable Reasoning in
Logical
Fallacy Detection and Annotation
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for ForEx: A Formal Verification Framework for Explainable Reasoning in Logical Fallacy Detection and Annotation
🤨
AI Criticism
arXiv
·
2d
2 days ago
Cryptographic certificates of validity for trustworthy AI
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Cryptographic certificates of validity for trustworthy AI
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
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
Discover
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
Not for me
Report