scientific article; zbMATH DE number 2242594
From MaRDI portal
Publication:5714447
zbMath1087.68542MaRDI QIDQ5714447
Javier Esparza, Stefan Schwoon, Antonín Kučera
Publication date: 2 January 2006
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2215/22150316.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (10)
Model checking LTL with regular valuations for pushdown systems ⋮ Winning Regions of Pushdown Parity Games: A Saturation Method ⋮ Efficient CTL model-checking for pushdown systems ⋮ The complexity of bisimilarity-checking for one-counter processes. ⋮ Analyzing pushdown systems with stack manipulation ⋮ A saturation method for the modal \(\mu \)-calculus over pushdown systems ⋮ Regularity in PDA Games Revisited ⋮ An Automata-Theoretic Approach to Infinite-State Systems ⋮ Efficient CTL Model-Checking for Pushdown Systems ⋮ Types and trace effects for object orientation
This page was built for publication:
