LTL_f satisfiability checking

MaRDI QIDQ5283016zbMATHFDO

Authors Jianwen Li, Geguang Pu, Moshe Y. Vardi, Jifeng He, Lijun Zhang

Publication date 18 July 2017

Full work available at URL https://arxiv.org/abs/1403.1666

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• SAT-based explicit \(\mathsf{LTL}_f\) satisfiability checking
• An explicit transition system construction approach to LTL satisfiability checking
• Accelerating LTL satisfiability checking by SAT solvers
• LTL on finite and process traces: complexity results and a practical reasoner
• Constraint LTL satisfiability checking without automata

Cited in

(16)

• Satisfiability of linear time mu-calculus on finite traces
• SAT-based explicit LTL reasoning and its application to satisfiability checking
• Synchronous or alternating? LTL black-box checking of Mealy machines by combining the LearnLib and LTSmin
• An explicit transition system construction approach to LTL satisfiability checking
• First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications
• Constraint LTL satisfiability checking without automata
• An Asymptotically Correct Finite Path Semantics for LTL
• Variable and clause elimination for LTL satisfiability checking
• SAT-based explicit \(\mathsf{LTL}_f\) satisfiability checking
• Accelerating LTL satisfiability checking by SAT solvers
• Fairness modulo theory: a new approach to LTL software model checking
• scientific article; zbMATH DE number 7445165 (Why is no real title available?)
• LTL on finite and process traces: complexity results and a practical reasoner
• Constructive finite trace analysis with linear temporal logic
• Finite-trace linear temporal logic: coinductive completeness
• SMT-based satisfiability of first-order LTL with event freezing functions and metric operators

This page was built for publication: \(\mathrm{LTL}_{f}\) satisfiability checking

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