English

Saturation algorithms for model-checking pushdown systems

Formal Languages and Automata Theory 2014-05-23 v1 Logic in Computer Science
Authors: Arnaud Carayol , Matthew Hague
View on arXiv ↗ PDF ↗ DOI ↗

Abstract

We present a survey of the saturation method for model-checking pushdown systems.

Cite

@article{arxiv.1405.5593,
  title  = {Saturation algorithms for model-checking pushdown systems},
  author = {Arnaud Carayol and Matthew Hague},
  journal= {arXiv preprint arXiv:1405.5593},
  year   = {2014}
}

Comments

In Proceedings AFL 2014, arXiv:1405.5272

Related papers

View all related →
Formal Languages and Automata Theory · Computer Science
Saturation of Concurrent Collapsible Pushdown Systems
Matthew Hague
2013-10-11
Logic in Computer Science · Computer Science
C-SHORe: Higher-Order Verification via Collapsible Pushdown System Saturation
Christopher Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre
2018-09-18
High Energy Physics - Phenomenology · Physics
Power Counting to Saturation
Iain Stewart, Varun Vaidya
2024-07-01
Formal Languages and Automata Theory · Computer Science
Unified Analysis of Collapsible and Ordered Pushdown Automata via Term Rewriting
Lorenzo Clemente
2014-10-16
Logic in Computer Science · Computer Science
Ground Canonicity
Nachum Dershowitz
2007-05-23
Robotics · Computer Science
A Survey on Passing-through Control of Multi-Robot Systems in Cluttered Environments
Yan Gao, Chenggang Bai, Quan Quan
2023-11-14
Computation · Statistics
Matrix Completion Survey: Theory, Algorithms, and Empirical Evaluation
Connor Panish, Leo Villani
2025-12-10
Cryptography and Security · Computer Science
Secure Information Flow by Model Checking Pushdown System
Cong Sun, Liyong Tang, Zhong Chen
2010-12-15
Formal Languages and Automata Theory · Computer Science
Emptiness of Stack Automata is NEXPTIME-complete: A Correction
Christopher Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre
2018-05-31
Formal Languages and Automata Theory · Computer Science
Weighted Pushdown Systems with Indexed Weight Domains
Yasuhiko Minamide
2019-03-14
Logic in Computer Science · Computer Science
A Note on the Complexity of Model-Checking Bounded Multi-Pushdown Systems
Kshitij Bansal, Stéphane Demri
2012-12-10
Systems and Control · Electrical Eng. & Systems
Control Design under Actuator Saturation and Multi-Rate Sampling
Francesco Ferrante, Ricardo G. Sanfelice, Sophie Tarbouriech
2022-10-21
High Energy Physics - Phenomenology · Physics
Status of precision tests of the Standard Model
G. Altarelli
2011-07-19
Systems and Control · Electrical Eng. & Systems
Model Reference Adaptive Control Allocation for Constrained Systems with Guaranteed Closed Loop Stability
Seyed Shahabaldin Tohidi, Yildiray Yildiz, Ilya Kolmanovsky
2020-08-21
Logic in Computer Science · Computer Science
Some approximations in Model Checking and Testing
M. C. Gaudel, R. Lassaigne, F. Magniez, M. de Rougemont
2013-04-19
Multimedia · Computer Science
Stochastic Model Checking for Multimedia
Jeremy Bryans, Howard Bowman, John Derrick
2007-05-23
Data Structures and Algorithms · Computer Science
A Decision Diagram Operation for Reachability
Sebastiaan Brand, Thomas Bäck, Alfons Laarman
2023-03-14
Quantitative Methods · Quantitative Biology
A Model Checking-based Analysis Framework for Systems Biology Models
Bing Liu
2020-04-28
Optimization and Control · Mathematics
Lifted polytope methods for stability analysis of switching systems
Raphael M. Jungers, Nicola Guglielmi, Antonio Cicone
2012-07-24
High Energy Physics - Phenomenology · Physics
Saturation model for 2-gamma physics
N. Timneanu, J. Kwiecinski, L. Motyka
2007-05-23
Systems and Control · Electrical Eng. & Systems
Modular Model Reduction of Interconnected Systems: A Top-Down Approach
Lars A. L. Janssen, Bart Besselink, Rob H. B. Fey, Nathan van de Wouw
2023-01-23
Statistics Theory · Mathematics
Matrix Completion Methods for Causal Panel Data Models
Susan Athey, Mohsen Bayati, Nikolay Doudchenko, Guido Imbens +1
2022-04-22
Programming Languages · Computer Science
Semantic foundations of equality saturation
Dan Suciu, Yisu Remy Wang, Yihong Zhang
2025-01-07
Logic in Computer Science · Computer Science
Monotonic Abstraction Techniques: from Parametric to Software Model Checking
Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
2014-11-17
Optimization and Control · Mathematics
Matrix Completion Using Alternating Minimization for Distribution System State Estimation
Yajing Liu, April Sagan, Andrey Bernstein, Rui Yang +2
2020-06-09
R2 v1 2026-06-22T04:20:26.325Z