Showing 2024Show all
2 papers · 1 filter
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…
cs.FL2024
Recomposition: A New Technique for Efficient Compositional Verification
Ian Dardik, April Porter, Eunsuk Kang
Compositional verification algorithms are well-studied in the context of model checking. Properly selecting components for verification is important for efficiency, yet has receive…