\textsc{LtlNfBa}: making LTL translation more practical

DOI10.1007/978-3-319-31220-0_13zbMath1461.68121OpenAlexW2470249817MaRDI QIDQ2026563

Jun Song, Zhenhua Duan, Zhao Duan, Cong Tian

Publication date: 20 May 2021

Full work available at URL: https://doi.org/10.1007/978-3-319-31220-0_13

zbMATH Keywords

model checkingBüchi automatalinear temporal logicgeneralized Büchi automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

This page was built for publication: \textsc{LtlNfBa}: making LTL translation more practical