Feeds to Scour
SubscribedAll
Scoured 183943 posts in 16.1 ms
Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)  🧠Separation Logic
arxiv.org·6d
Break This: A Minimal, System-Independent Verification Primitive  🦀Rust Verification
ethresear.ch·2d
From Convergence to Confidence: Push-Button Verification for RDTs  ⚖️Verification Calculi
kcsrk.info·2d·Hacker News, Hacker News
Topology-Driven Symbolic Verification of Post-Quantum Migration Paths Using Tamarin Prover  🔐Quantum Security
eprint.iacr.org·3d
How we turned Storybook into a behavioral verification engine  🧪Binary Fuzzing
developers.redhat.com·1d
Antithesis BugBash Conference 2026  ⚙️Proof Engineering
emptysqua.re·5d
Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)  ⚖️Verification Calculi
arxiv.org·13h
Beyond Code Reasoning: A Specification-Anchored Audit Framework for Expert-Augmented Security Verification  🧪Binary Fuzzing
arxiv.org·13h
Graph Construction and Matching for Imperative Programs using Neural and Structural Methods  🔄Graph Rewriting
arxiv.org·13h
The Surprising Universality of LLM Outputs: A Real-Time Verification Primitive  🧪Binary Fuzzing
arxiv.org·1d
Counterexample-Guided Interval Weakening  🔮Proof Search
arxiv.org·2d
SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification  ⚖️Verification Calculi
arxiv.org·6d
Grammar-Constrained Refinement of Safety Operational Rules Using Language in the Loop: What Could Go Wrong  ⚖️Verification Calculi
arxiv.org·2d
AutoPyVerifier: Learning Compact Executable Verifiers for Large Language Model Outputs  🎯Dependent Parsing
arxiv.org·2d
Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures  🔧Hardware Verification
arxiv.org·6d
Faithful Autoformalization via Roundtrip Verification and Repair  ✅Format Verification
arxiv.org·1d
Verification of Correlated Equilibria in Concurrent Reachability Games  🎯Performance Proofs
arxiv.org·2d
Automated LTL Specification Generation from Industrial Aerospace Requirements  ⚙️TLA+
arxiv.org·6d
Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting  ⚛️Quantum Circuits
arxiv.org·2d
From Language to Logic: Bridging LLMs & Formal Representations for RTL Assertion Generation  📏Linear Logic
arxiv.org·2d

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help