Open Implication
From MaRDI portal
Publication:3519514
DOI10.1007/978-3-540-70583-3_30zbMath1155.68436OpenAlexW2914665807MaRDI QIDQ3519514
Roderick Bloem, Karin Greimel, Barbara Jobstmann, Moshe Y. Vardi
Publication date: 19 August 2008
Published in: Automata, Languages and Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-70583-3_30
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
Towards a notion of unsatisfiable and unrealizable cores for LTL, Antichains and compositional algorithms for LTL synthesis, Program repair without regret