✅ Software Verification - rachetbomb · Scour

Monadic dependence from reducts, and applications to twin-width of oriented graphs

📐Formal Methods Academic

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus

📐Formal Methods Academic

A Neuro-Symbolic Approach to Strategy Synthesis for Strategic Logics

📐Formal Methods Academic

Planning to Hammer: Difficulty-Aware Decomposition for Automating Rocq Proofs

📐Formal Methods Academic

HierSVA: A Data Synthesis Pipeline, Dataset, and Benchmark for LLM-Driven Hierarchical Hardware Formal Verification

📐Formal Methods Academic

Graph-ESBMC-PLC: Formal Verification of Graphical PLCopen XML Ladder Diagram Programs Using SMT-Based Model Checking

📐Formal Methods Academic

As You Wish: Mission Planning with Formal Verification using LLMs in Precision Agriculture

📐Formal Methods Academic

The Complexity of Bisimilarity and Model Checking in Finitary Diagrams

📐Formal Methods Academic

Verified Detection and Prevention of Concurrency Anomalies in Multi-Agent Large Language Model Systems

🔀Concurrency Academic

On the Notions of Bounded Bypass, and How to Make any Deadlock-Free MUTEX Protocol Satisfy One of Them

🔀Concurrency Academic

A Correct Algorithm for Identifying Independent Variable Sets in Reactive Systems

📐Formal Methods Academic

VGPT-RSI for RH-Adjacent Formal Progress: Boundary Certificates, Verified Finite Lagarias Inequalities, and Explicit Failure Localization

📐Formal Methods Academic

A Predicate-Based Model for Computation over State Spaces

📐Formal Methods Academic

Log in to enable infinite scrolling