An automata-theoretic approach to reasoning about parameterized systems and specifications

DOI10.1007/978-3-319-02444-8_28MaRDI QIDQ5166702zbMATH OpenOpenAlexFDO

Authors Orna Grumberg, Orna Kupferman, Sarai Sheinvald

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)

Recommendations

• scientific article; zbMATH DE number 1670767
• An automata-theoretic approach to infinite-state systems
• An automata-theoretic approach to model-checking systems and specifications over infinite data domains
• Model checking systems and specifications with parameterized atomic propositions
• Variable automata over infinite alphabets

Cited in

(9)

• An automata-based view on configurability and uncertainty
• scientific article; zbMATH DE number 7649933 (Why is no real title available?)
• Formal Approaches to Software Testing
• On temporal logics with data variable quantifications: decidability and complexity
• First order Büchi automata and their application to verification of LTL specifications
• scientific article; zbMATH DE number 1760148 (Why is no real title available?)
• On synthesis of specifications with arithmetic
• On the complexity of decision problems for parameterized finite state synchronous transducers
• Model checking systems and specifications with parameterized atomic propositions

This page was built for publication: An automata-theoretic approach to reasoning about parameterized systems and specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5166702)