Model Checking on Trees with Path Equivalences
From MaRDI portal
Publication:5758138
DOI10.1007/978-3-540-71209-1_51zbMath1186.68273MaRDI QIDQ5758138
Swarat Chaudhuri, Pavol Černý, 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
68Q60: Specification and verification (program logics, model checking, etc.)
68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
Related Items
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, Recent developments in high dimensional covariance estimation and its related issues, a review, 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, Dynamic Observers for the Synthesis of Opaque Systems
Uses Software