SCARA introduces a four-stage pipeline using state-aware verification and constrained synthesis to remediate vulnerabilities in source-unavailable industrial software, reporting 100% precision and 88.9% success on a 15-case benchmark.
A tool for checking ansi-c programs
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Agentic model checking pairs LLM agents for spec inference and counterexample classification with compositional bounded model checking to verify LLM-generated kernel and compiler code.
citing papers explorer
-
SCARA: A Semantics-Constrained Autonomous Remediation Agent for Opaque Industrial Software Vulnerabilities
SCARA introduces a four-stage pipeline using state-aware verification and constrained synthesis to remediate vulnerabilities in source-unavailable industrial software, reporting 100% precision and 88.9% success on a 15-case benchmark.
-
Agentic Model Checking
Agentic model checking pairs LLM agents for spec inference and counterexample classification with compositional bounded model checking to verify LLM-generated kernel and compiler code.