✅ Model Checking - hello · Scour

FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning 📐TLA+

arxiv.org·14h

Reproducing the AWS Outage Race Condition with a Model Checker 🔒S2N-QUIC

wyounas.github.io·4d·r/SoftwareEngineering, r/programming

Breaking equiatomic constraints: knowledge-enhanced AI framework for function-oriented single-phase high-entropy alloy design 💬Prompt Engineering

nature.com·1d

Chip Industry Technical Paper Roundup: Apr. 14 🌊Memory Bandwidth

semiengineering.com·11h

Integrability breaking and coherent dynamics in Hermitian and non-Hermitian spin chains with long-range coupling ⚛️Quantum Computing

link.aps.org·1d

From bytecode to bytes: automated magic packet generation 🔍Linux BPF

blog.cloudflare.com·6d·Hacker News

TurboQuant: How a Simple Spin Saves Gigabytes of GPU Memory ↔️SIMD Horizontal Operations

dev.to·5d·DEV

Autonomous Quantum Error Correction of Spin-Oscillator Hybrid Qubits ⚛️Quantum Computing

arxiv.org·14h

Systematic API Testing Through Model Checking and Executable Contracts 💎Refinement Types

arxiv.org·1d

Classical fracton spin liquid and Hilbert space fragmentation in a 2D spin-$1/2$ model 🔢Homomorphic Encryption

link.aps.org·4d

Sub-nanosecond control for spin-defect quantum memories with a low-cost, compact FPGA platform ⚛️Quantum Computing

arxiv.org·14h

SafeAdapt: Provably Safe Policy Updates in Deep Reinforcement Learning 🎯Reinforcement Learning

arxiv.org·1d

Ultrafast ghost Hall states in a 2d altermagnet ⚛️Quantum Computing

arxiv.org·14h

Covariant quantum error correction in a three-layer quantum brain model: computational analysis of layer-specific coherence dynamics ⚛️Quantum Computing

arxiv.org·1d

Inequivalence of Landau-Lifshitz and Landau-Lifshitz-Gilbert dynamics for a single quantum spin ⚛️Quantum Computing

arxiv.org·14h

Reciprocity of Charge-Orbital-Spin Transport in Normal-Metal/Ferromagnet Heterostructures 📡Van Jacobson Channels

arxiv.org·1d

Tractable Hyperproperties for MDPs ⚓Anchors

arxiv.org·5d

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery 🔍KLEE

arxiv.org·5d

Compressing Correct-by-Design Synthesis for Stochastic Homogeneous Multi-Agent Systems with Counting LTL 🎲Deterministic Simulation

arxiv.org·5d

Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer ∘Category Theory

arxiv.org·4d

Loading more...