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
75
posts in
12.8
ms
ESBMC-PLC:
Formal
Verification
of IEC 61131-3 Ladder Diagram Programs Using
SMT-Based
Model Checking
✅
Software Verification
Content type:
Academic
arxiv.org
·
3d
3 days ago
Actions for ESBMC-PLC: Formal Verification of IEC 61131-3 Ladder Diagram Programs Using SMT-Based Model Checking
EXCLUSIVE: Le
Coq
Sportif Marks Maradona Milestone With Capsule as It Kicks Off New Era
✅
Software Verification
Content type:
News
wwd.com
·
3h
3 hours ago
Actions for EXCLUSIVE: Le Coq Sportif Marks Maradona Milestone With Capsule as It Kicks Off New Era
NeuroCore: The Agent Framework That Actually Works for Math Proofs
🔀
Concurrency
Content type:
Blog
medium.com
·
2d
2 days ago
Actions for NeuroCore: The Agent Framework That Actually Works for Math Proofs
The local maxima we need to reach the next global maximum
✅
Software Verification
therealadam.com
·
16h
16 hours ago
Actions for The local maxima we need to reach the next global maximum
Pramaana Labs raises $27M seed round from Khosla Ventures to bring
formal
verification
to AI
✅
Software Verification
techcrunch.com
·
1d
1 day ago
·
Cited by 2 articles
Actions for Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
Our MongoDB
TLA
+ Workshop
✅
Software Verification
Content type:
Blog
muratbuffalo.blogspot.com
·
5d
5 days ago
·
Blogger
Actions for Our MongoDB TLA+ Workshop
Announcing the Bloomberg Infrastructure and Security Ph.D. Fellowship Winners for 2025-2026
✅
Software Verification
Content type:
News
bloomberg.com
·
2d
2 days ago
Actions for Announcing the Bloomberg Infrastructure and Security Ph.D. Fellowship Winners for 2025-2026
Perplexity's Bumblebee, Evading Cloud Logging, AI Vuln Hunting
Spec
✅
Software Verification
tldrsec.com
·
17h
17 hours ago
·
Covers 8 stories
Actions for Perplexity's Bumblebee, Evading Cloud Logging, AI Vuln Hunting Spec
The Code Is Perfect. The Token Still Rugs. Building NexusVeritas.
✅
Software Verification
Content type:
Blog
medium.com
·
6d
6 days ago
Actions for The Code Is Perfect. The Token Still Rugs. Building NexusVeritas.
A Vision for a Rust
Formal
Specification
✅
Software Verification
Content type:
Blog
nadrieril.github.io
·
2d
2 days ago
·
Hacker News
Actions for A Vision for a Rust Formal Specification
Advanced Compilers: The Self-Guided Online Course
✅
Software Verification
Content type:
Academic
cs.cornell.edu
·
20h
20 hours ago
·
Hacker News
·
Covers:
llvm.org - 20.3 kb
Actions for Advanced Compilers: The Self-Guided Online Course
A Lean
4-verified
Balansis lib to eliminate NaN and make zero-division safe
✅
Software Verification
Content type:
Code
github.com
·
6d
6 days ago
·
Hacker News
Actions for A Lean 4-verified Balansis lib to eliminate NaN and make zero-division safe
The French School of Programming
✅
Software Verification
Content type:
Academic
Content type:
Reference
link.springer.com
·
2d
2 days ago
·
Hacker News
Actions for The French School of Programming
Architect Labs nabs $24M to speed up chip design projects with AI
✅
Software Verification
siliconangle.com
·
7h
7 hours ago
Actions for Architect Labs nabs $24M to speed up chip design projects with AI
Cadence ChipStack AI Super Agent Achieves Full Autonomy For Chip Development
✅
Software Verification
pokde.net
·
2d
2 days ago
Actions for Cadence ChipStack AI Super Agent Achieves Full Autonomy For Chip Development
Experimental
Logic
: An Executable Homage to Automated
Theorem
Proving
Pioneer, Frank Malloy Brown…
✅
Software Verification
Content type:
Blog
medium.com
·
6d
6 days ago
Actions for Experimental Logic: An Executable Homage to Automated Theorem Proving Pioneer, Frank Malloy Brown…
Pramaana Labs raised $27M to wrap AI in mathematical proof for law, tax, and drug discovery
🚀
Startups
Content type:
News
thenextweb.com
·
18h
18 hours ago
Actions for Pramaana Labs raised $27M to wrap AI in mathematical proof for law, tax, and drug discovery
Looking for a cryptography audit? Here's where to go
✅
Software Verification
cryptologie.net
·
3d
3 days ago
Actions for Looking for a cryptography audit? Here's where to go
IsabeLLM
: Automated
Theorem
Proving
Applied to Formally Verifying Consensus
✅
Software Verification
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus
Cameroon's sleeveless shirt and the other kit curiosities that shocked the world
✅
Software Verification
Content type:
News
nytimes.com
·
1d
1 day ago
Actions for Cameroon's sleeveless shirt and the other kit curiosities that shocked the world
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