QLTL model-checking

DOI10.4230/LIPICS.CSL.2024.35MaRDI QIDQ6856017zbMATH OpenFDO

Authors François Laroussinie, Loriane Leclercq, Arnaud Sangnier

Publication date 19 February 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

verificationautomata theorymodel-chekingquantified linear-time temporal logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

This page was built for publication: QLTL model-checking

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