LTL_f satisfiability checking

zbMATH Open1366.68177arXiv1403.1666MaRDI QIDQ5283016FDOQ5283016

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

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

Mathematics Subject Classification ID

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

Cited In (16)

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

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)