Partial model checking and partial model synthesis in LTL using a tableau-based approach

DOI10.4230/LIPICS.FSCD.2023.23MaRDI QIDQ6622064zbMATH OpenFDO

Authors Serenella Cerrito, Valentin Goranko, Sophie Paillocher

Publication date 21 October 2024

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2023.23

zbMATH Keywords

linear temporal logic LTLpartial model checkingpartial model synthesispartial transition systemstableaux

Mathematics Subject Classification ID

Temporal logic (03B44) Theory of computing (68Qxx)

Cited in

(2)

• A unified Gentzen-style framework for until-free LTL
• Unified sequent calculi and natural deduction systems for until-free linear-time temporal logics

This page was built for publication: Partial model checking and partial model synthesis in LTL using a tableau-based approach

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