An extension of pushdown system and its model checking method.

DOI10.1007/B11938MaRDI QIDQ5900572zbMATH OpenOpenAlexFDO

Authors Naoya Nitta, Hiroyuki Seki

Publication date 30 March 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b11938

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1232241
• scientific article; zbMATH DE number 2242594
• Efficient CTL model-checking for pushdown systems
• Efficient CTL model-checking for pushdown systems
• Model checking LTL with regular valuations for pushdown systems

This page was built for publication: An extension of pushdown system and its model checking method.

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