Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📋 Lightweight Formal Methods
TLA+, Alloy, model checking, specification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
2781
posts in
46.2
ms
Verification Facade:
Masquerading
Insecure Cryptographic
Implementations
as Verified Code
🔐
Post-Quantum Crypto
eprint.iacr.org
·
4d
Reinforcement Learning with Negative Tests as
Completeness
Signal for Formal
Specification
Synthesis
🔧
Constraint Solvers
arxiv.org
·
2d
Jean-Raymond
Abrial
: A Scientific
Biography
of a Formal Methods Pioneer
🔣
Type Systems
arxiv.org
·
15h
FLARE
: Agentic Coverage-Guided
Fuzzing
for LLM-Based Multi-Agent Systems
🔐
MLS Protocol
arxiv.org
·
2d
Compositionality
of
Lyapunov
functions via assume-guarantee reasoning
🔧
Constraint Solvers
arxiv.org
·
3d
Tractable
Hyperproperties
for MDPs
🔧
Constraint Solvers
arxiv.org
·
1d
Planning Task
Shielding
: Detecting and Repairing Flaws in Planning Tasks through Turning them
Unsolvable
🔧
Constraint Solvers
arxiv.org
·
1d
Differentiable
SpaTiaL:
Symbolic
Learning and Reasoning with Geometric Temporal Logic for Manipulation Tasks
🔧
Constraint Solvers
arxiv.org
·
4d
CobbleDB
: Modelling
Levelled
Storage by Composition
🌲
Persistent Data Structures
arxiv.org
·
1d
Importance Sampling for
Statistical
Certification of
Viable
Initial Sets
λ
Type Theory
arxiv.org
·
3d
Controllable
Image Generation with
Composed
Parallel Token Prediction
🖥️
WGSL
arxiv.org
·
2d
WSCM-Lite
: A Practitioner-Ready Implementation of the Weak Signal
Cultivation
Model
📐
Protocol Design
arxiv.org
·
2d
act:
Technical
report
📐
Protocol Design
arxiv.org
·
4d
Augmented Graphs of
Convex
Sets and the Traveling
Salesman
Problem
🕸️
Graph Algorithms
arxiv.org
·
1d
Semantics
Over Syntax: Uncovering Pre-Authentication 5G
Baseband
Vulnerabilities
#️⃣
BLAKE3
arxiv.org
·
3d
VoxelCodeBench
:
Benchmarking
3D World Modeling Through Code Generation
🖥️
WGSL
arxiv.org
·
4d
Improving Role Consistency in Multi-Agent Collaboration via
Quantitative
Role
Clarity
🤝
Consensus Algorithms
arxiv.org
·
4d
Analyzing Healthcare
Interoperability
Vulnerabilities: Formal Modeling and
Graph-Theoretic
Approach
🕸️
Graph Theory
arxiv.org
·
4d
nascTime
: A Full-Stack 5G-TSN Bridge Simulation Framework with SDAP-Based QoS Mapping and IEEE
802.1AS
Transparent Clock
📐
Protocol Design
arxiv.org
·
3d
Guiding
Symbolic
Execution with Static Analysis and LLMs for Vulnerability Discovery
🔌
LSP
arxiv.org
·
1d
Loading...
Loading more...
Page 2 »
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