An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications

DOI10.1007/978-3-319-02444-8_28zbMath1410.68228OpenAlexW142519030MaRDI QIDQ5166702

Sarai Sheinvald, Orna Kupferman, Orna Grumberg

Publication date: 8 July 2014

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-02444-8_28

Mathematics Subject Classification ID

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

Related Items (3)

On temporal logics with data variable quantifications: decidability and complexity ⋮ Unnamed Item ⋮ On Synthesis of Specifications with Arithmetic

This page was built for publication: An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications