VLDL satisfiability and model checking via tree automata

DOI10.4230/LIPICS.FSTTCS.2017.47MaRDI QIDQ5136340zbMATH OpenFDO

Authors Alexander Weinert

Publication date 25 November 2020

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

zbMATH Keywords

model checkingsatisfiabilitytree automatavisibly linear dynamic logicvisibly pushdown languages

Mathematics Subject Classification ID

Logic in computer science (03B70) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Visibly linear dynamic logic
• Visibly linear dynamic logic
• Visibly linear temporal logic
• Visibly linear temporal logic
• Automata-theoretic techniques for modal logics of programs

Cites work

• Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages
• Alternating-time temporal logic
• Emptiness Of Alternating Tree Automata Using Games With Imperfect Information
• From linear time to branching time
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 1670555 (Why is no real title available?)
• scientific article; zbMATH DE number 3866588 (Why is no real title available?)
• scientific article; zbMATH DE number 1142314 (Why is no real title available?)
• scientific article; zbMATH DE number 1775458 (Why is no real title available?)
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
• Nondeterministic Tree Automata
• Tools and Algorithms for the Construction and Analysis of Systems
• Visibly linear dynamic logic
• Visibly linear temporal logic
• Visibly pushdown languages

Cited in

(3)

• Visibly linear dynamic logic
• VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata
• Visibly linear dynamic logic

Describes a project that uses

Uses Software

• SPIN
• PGSolver
• GitHub

This page was built for publication: VLDL satisfiability and model checking via tree automata

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