FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SAT-based Reasoning Techniques for LTL over Finite and Infinite Traces

Author: Jianwen Li

Paper Information

Title:SAT-based Reasoning Techniques for LTL over Finite and Infinite Traces
Authors:Jianwen Li
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:LTL, LTL over finite traces, SAT-based reasoning, satisfiability checking, synthesis
Pages:1
Talk:Jul 31 10:20 (Session 5)
Paper: