Model Checking on Trees with Path Equivalences

DOI10.1007/978-3-540-71209-1_51MaRDI QIDQ5758138zbMATH OpenOpenAlexFDO

Authors Pavol Černý, Swarat Chaudhuri, Rajeev Alur

Publication date 3 September 2007

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71209-1_51

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model Checking Information Flow in Reactive Systems
• Model Checking Games for Branching Time Logics
• Alternating-time temporal logic
• Model-checking graded computation-tree logic with finite path semantics
• Model checking abilities of agents: a closer look

Cited in

(14)

• Recent developments in high dimensional covariance estimation and its related issues, a review
• Detection of hubs in complex networks by the Laplacian matrix
• Model Checking Information Flow in Reactive Systems
• An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
• Relating paths in transition systems: the fall of the modal mu-calculus
• Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
• Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
• Dynamic Observers for the Synthesis of Opaque Systems
• Hyper partial order logic
• Paths vs. trees in set-based program analysis
• A general notion of uniform strategies
• Collaborative planning with confidentiality
• To know or not to know: Epistemic approaches to security protocol verification
• Model checking the observational determinism security property using PROMELA and SPIN

Describes a project that uses

Uses Software

• NuSMV

This page was built for publication: Model Checking on Trees with Path Equivalences

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