A divide \& conquer approach to conditional stable model checking

DOI10.1007/978-3-030-85315-0_7OpenAlexW3194738359MaRDI QIDQ2119965

Canh Minh Do, Yati Phyo, Kazuhiro Ogata

Publication date: 31 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-85315-0_7

zbMATH Keywords

model checkinglinear temporal logic (LTL)conditional stable properties

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Handbook of Model Checking

This page was built for publication: A divide \& conquer approach to conditional stable model checking