◍wovepaper
SearchResearchersInstitutions
Sign in
cs.FLMay 22, 2014
5
citations (OpenAlex)
authors
  • Arnaud Carayol
  • Matthew Hague
institutions
  • Centre National de la Recherche Scientifique
  • Royal Holloway University of London
  • Université Paris Cité
arXiv abstractPDF
paper

Saturation algorithms for model-checking pushdown systems

arXiv:1405.5593 · doi:10.4204/EPTCS.151.1

Abstract

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

In Proceedings AFL 2014, arXiv:1405.5272

References in corpus (3)

  • Model-Checking of Ordered Multi-Pushdown Automata
  • Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
  • Modeling and Verification of Infinite Systems with Resources
◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.