Pushdown module checking

DOI10.1007/S10703-010-0093-XzbMATH Open1209.68312OpenAlexW2092229972MaRDI QIDQ968362FDOQ968362

Adriano Peron, Aniello Murano, Laura Bozzelli

Publication date: 5 May 2010

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-010-0093-x

Recommendations

• Pushdown Module Checking
• Enriched μ–Calculus Pushdown Module Checking
• Pushdown Module Checking with Imperfect Information
• Pushdown module checking with imperfect information
• Module checking

zbMATH Keywords

pushdown systemstree automatabranching temporal logicsmodule checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Title not available (Why is that?)
• Monadic second-order logic on tree-like structures
• Alternation
• Title not available (Why is that?)
• “Sometimes” and “not never” revisited
• Title not available (Why is that?)
• An automata-theoretic approach to branching-time model checking
• Alternating finite automata on \(\omega\)-words
• Automata-theoretic techniques for modal logics of programs
• Enriched MU-Calculi Module Checking
• Module checking
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• The theory of ends, pushdown automata, and second-order logic
• Model checking LTL with regular valuations for pushdown systems
• Verification, Model Checking, and Abstract Interpretation
• Pushdown Module Checking
• Buy one, get one free!!!
• Pushdown Module Checking with Imperfect Information
• Two-Way Tree Automata Solving Pushdown Games

Cited In (16)

• Efficient CTL model-checking for pushdown systems
• Enriched μ–Calculus Pushdown Module Checking
• Context-free timed formalisms: robust automata and linear temporal logics
• Efficient CTL Model-Checking for Pushdown Systems
• Module checking
• Cycle detection in computation tree logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Ordered multi-stack visibly pushdown automata
• Pushdown Module Checking with Imperfect Information
• Title not available (Why is that?)
• Interval Temporal Logic for Visibly Pushdown Systems
• Model checking properties on reduced trace systems
• Title not available (Why is that?)
• Automata-theoretic decision of timed games
• Pushdown module checking with imperfect information

This page was built for publication: Pushdown module checking

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