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+, model checking, formal verification, invariants
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
251
posts in
6.5
ms
Can LLMs Write Correct
TLA
+ Specifications? Evaluating
Natural-Language-to-TLA
+ Generation
✅
Model Checking
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation
Subversion-Resistance for Free from
Formal
Verification
✅
Model Checking
lesswrong.com
·
2d
2 days ago
Actions for Subversion-Resistance for Free from Formal Verification
AWS Nitro Isolation Engine:
Formally
verifying the hypervisor in the AWS Nitro System
✅
Model Checking
Content type:
Blog
aws.amazon.com
·
3h
3 hours ago
Actions for AWS Nitro Isolation Engine: Formally verifying the hypervisor in the AWS Nitro System
Phase prediction in high-entropy
alloys
through uncertainty sampling and symbolic classification-based parameter discovery
✅
Model Checking
Content type:
Academic
nature.com
·
1d
1 day ago
Actions for Phase prediction in high-entropy alloys through uncertainty sampling and symbolic classification-based parameter discovery
coherentforge/CambiOS: Zero-trust, capability-based Rust microkernel targeting
formal
verification
. Tri-arch (x86_64 / AArch64 / RISC-V). Sovereign and generative: no telemetry, user owns keys and data. Early-stage — see STATUS.md. Inspired by seL4, Hubris, and Redox.
🔍
Static Analysis
Content type:
Code
github.com
·
10h
10 hours ago
·
Hacker News
Actions for coherentforge/CambiOS: Zero-trust, capability-based Rust microkernel targeting formal verification. Tri-arch (x86_64 / AArch64 / RISC-V). Sovereign and generative: no telemetry, user owns keys and data. Early-stage — see STATUS.md. Inspired by seL4, Hubris, and Redox.
Magnetic pair breaking and local lattice distortion in Cr-containing high-entropy
alloy
superconductors
🌐
Distributed Systems
link.aps.org
·
6d
6 days ago
Actions for Magnetic pair breaking and local lattice distortion in Cr-containing high-entropy alloy superconductors
Formal
Verification
in Spec-Driven Development — Enterprise Level
✅
Model Checking
Content type:
Blog
medium.com
·
16h
16 hours ago
Actions for Formal Verification in Spec-Driven Development — Enterprise Level
EC2’s
formally
verified
“isolation engine”
provides
mathematical assurance of virtual-machine isolation
✅
Model Checking
Content type:
Blog
amazon.science
·
1d
1 day ago
·
Lobsters
Actions for EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation
SagaMind:
Formal
Verification
, Transactional Rollback, and Cognitive Memory for LLM Agents
✅
Model Checking
Content type:
Blog
kesablyanharut.medium.com
·
13h
13 hours ago
Actions for SagaMind: Formal Verification, Transactional Rollback, and Cognitive Memory for LLM Agents
Market Research Deep Dive: Wrought Aluminum Turbocharger Wheels Capture 45% of Market Value – Full Size & Share Analysis by Forged vs. Cast Technology
✅
Model Checking
Content type:
Blog
plaza.rakuten.co.jp
·
4d
4 days ago
Actions for Market Research Deep Dive: Wrought Aluminum Turbocharger Wheels Capture 45% of Market Value – Full Size & Share Analysis by Forged vs. Cast Technology
Electra Reaches Back to Antiquity for Its Most Distinctive Dare-Devil Diver Yet
🌪️
Chaos Engineering
gearpatrol.com
·
1d
1 day ago
Actions for Electra Reaches Back to Antiquity for Its Most Distinctive Dare-Devil Diver Yet
Correct workflow for stage3 and stage 4 building, testing and debugging
✅
Model Checking
ziggit.dev
·
19h
19 hours ago
Actions for Correct workflow for stage3 and stage 4 building, testing and debugging
Proof System Timelines
🔐
Crypto
Content type:
Blog
klatz.co
·
3d
3 days ago
Actions for Proof System Timelines
Dr. Renata Goncalves recognized with Outstanding Manuscript Award
🛡️
SRE
Content type:
Academic
hsph.harvard.edu
·
2d
2 days ago
Actions for Dr. Renata Goncalves recognized with Outstanding Manuscript Award
Strong and corrosion-resistant 3D-printed steel by self-assembled core-shell nanoparticles
⛓️
Web3
science.org
·
1d
1 day ago
Actions for Strong and corrosion-resistant 3D-printed steel by self-assembled core-shell nanoparticles
Oxygen Effect on Deformation Mechanism and Mechanical Behavior of Pure Ti at 77K
🌪️
Chaos Engineering
Content type:
Academic
sciencedirect.com
·
5d
5 days ago
Actions for Oxygen Effect on Deformation Mechanism and Mechanical Behavior of Pure Ti at 77K
Dallas-Based ATI Extends Agreement to Support U.S. Naval Nuclear Propulsion Program
🌐
Distributed Systems
dallasinnovates.com
·
4h
4 hours ago
Actions for Dallas-Based ATI Extends Agreement to Support U.S. Naval Nuclear Propulsion Program
x-shaped telescopic freestanding clothes drying rack, foldable movable aluminum
alloy
laundry rack, heavy duty metal large drying stand for clothes, blankets & ...
✅
Model Checking
temu.com
·
5d
5 days ago
Actions for x-shaped telescopic freestanding clothes drying rack, foldable movable aluminum alloy laundry rack, heavy duty metal large drying stand for clothes, blankets & ...
Majorana
modes
withstand disorder in atomic chains, boosting fault-tolerant quantum computing
🌐
Distributed Systems
phys.org
·
2d
2 days ago
Actions for Majorana modes withstand disorder in atomic chains, boosting fault-tolerant quantum computing
Mazda CX-60 3.3L MHEV in Malaysia – inline-6 cylinder turbo petrol mild-hybrid, CBU Japan; RM252k OTR
🗂️
Query Optimization
paultan.org
·
14h
14 hours ago
Actions for Mazda CX-60 3.3L MHEV in Malaysia – inline-6 cylinder turbo petrol mild-hybrid, CBU Japan; RM252k OTR
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
