Multi-matching nested relations

DOI10.1016/j.tcs.2020.12.004zbMath1477.68157OpenAlexW3112900002MaRDI QIDQ2220863

Jin Liu, Cong Tian, Zhenhua Duan

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

model checkingMNCARET formulamulti-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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• CARET analysis of multithreaded programs
• Model checking LTL with regular valuations for pushdown systems
• BCARET model checking for malware detection
• Adding nesting structure to words
• Visibly pushdown languages
• Tools and Algorithms for the Construction and Analysis of Systems
• LTL Model-Checking for Malware Detection

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