3 papers
cs.CR2026
FASR: Automated Identification of Unsafe Control Actions in STPA
Ian Dardik, Yining She, Sam Procter +3
The System-Theoretic Process Analysis (STPA) is a well-established hazard analysis technique that has been applied to a wide range of safety-critical systems. Despite its popularit…
cs.LO2025
Compositional Inductive Invariant Inference via Assume-Guarantee Reasoning
Ian Dardik, Eunsuk Kang
A common technique for verifying the safety of complex systems is the inductive invariant method. Inductive invariants are inductive formulas that overapproximate the reachable sta…
cs.SE2024
Constrained LTL Specification Learning from Examples
Changjian Zhang, Parv Kapoor, Ian Dardik +4
Temporal logic specifications play an important role in a wide range of software analysis tasks, such as model checking, automated synthesis, program comprehension, and runtime mon…