Action-based model checking: logic, automata, and reduction

DOI10.1007/978-3-030-53291-8_6zbMath1478.68175OpenAlexW3042976276MaRDI QIDQ2226724

Stephen F. Siegel, Yihao Yan

Publication date: 9 February 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-53291-8_6

zbMATH Keywords

model checkingactionstutter-invarianceLTL

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

This page was built for publication: Action-based model checking: logic, automata, and reduction