scientific article; zbMATH DE number 1903366

zbMath1010.68078MaRDI QIDQ4804910

Orna Kupferman, Nir Piterman, Moshe Y. Vardi

Publication date: 1 May 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2404/24040371.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

Model-checking structured context-free languages ⋮ Automata Theory and Model Checking ⋮ Analyzing pushdown systems with stack manipulation ⋮ Operator precedence temporal logic and model checking ⋮ An Automata-Theoretic Approach to Infinite-State Systems

Uses Software

• CESAR

This page was built for publication: