Formalizing MLTL formula progression in Isabelle/HOL

DOI10.1007/978-3-032-07021-0_21MaRDI QIDQ6856402zbMATH OpenFDO

Authors Katherine Kosaian, Zili Wang, Elizabeth Sloan, Kristin Yvonne Rozier

Publication date 19 February 2026

zbMATH Keywords

modal logictheorem provingruntime verificationformula progressionmission-time linear temporal logic (MLTL)

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

This page was built for publication: Formalizing MLTL formula progression in Isabelle/HOL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6856402)