Multi-matching nested relations

DOI10.1016/J.TCS.2020.12.004MaRDI QIDQ2220863zbMATH OpenOpenAlexFDO

Authors Jin Liu, Zhenhua Duan, Cong Tian

Publication date 25 January 2021

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2020.12.004

zbMATH Keywords

MNCARET formulamodel checkingmulti-matching nested relationmulti-matching nested traceable automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Languages of Nested Trees
• Adding Nesting Structure to Words
• Marrying Words and Trees
• Marrying Words and Trees
• Regular languages of nested words: fixed points, automata, and synchronization

Cites work

• Adding nesting structure to words
• BCARET model checking for malware detection
• CARET analysis of multithreaded programs
• scientific article; zbMATH DE number 4155919 (Why is no real title available?)
• scientific article; zbMATH DE number 1179106 (Why is no real title available?)
• scientific article; zbMATH DE number 1948151 (Why is no real title available?)
• scientific article; zbMATH DE number 1517989 (Why is no real title available?)
• scientific article; zbMATH DE number 1796143 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• LTL model-checking for malware detection
• Model checking LTL with regular valuations for pushdown systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Visibly pushdown languages

Cited in

(1)

• Extended nested relations

This page was built for publication: Multi-matching nested relations

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