Model checking LTL with regular valuations for pushdown systems
type: Item
instance of: scholarly article
title: Model checking LTL with regular valuations for pushdown systems
zbMATH Open document ID: 1078.68081
DOI: 10.1016/S0890-5401(03)00139-1
author: Javier Esparza
author: Antonin Kučera
author: Stefan Schwoon
published in: Information and Computation
publication date: 2004-11-23T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 2118422
zbMATH Keywords: Model checking
zbMATH Keywords: Linear-time logic
zbMATH Keywords: Pushdown automata
describes a project that uses: Bebop
MaRDI profile type: Publication
cites work: Q2753756
cites work: Reachability analysis of pushdown automata: Application to model-checking
cites work: Model checking the full modal mu-calculus for infinite sequential processes
cites work: Modalities for model checking: Branching time logic strikes back
cites work: Q2754086
cites work: Q5714447
cites work: Q4551162
cites work: Q4223067
cites work: Automata-theoretic techniques for modal logics of programs
full work available at URL: s0890-5401(03)00139-1
OpenAlex ID: W2114132089
description: scientific article; zbMATH DE number 2118422