Verification of programs with exceptions through operator precedence automata

DOI10.1007/978-3-030-92124-8_17zbMath1522.68343OpenAlexW4205181222MaRDI QIDQ6045058

Michele Chiari, Francesco Pontiggia, Matteo Pradella

Publication date: 26 May 2023

Published in: Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11311/1199461

zbMATH Keywords

model checkinglinear temporal logicsoftware verificationexceptionsoperator-precedence languages

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Path-based depth-first search for strong and biconnected components
• Model-checking structured context-free languages
• Generalizing input-driven languages: theoretical and practical benefits
• Model checking LTL with regular valuations for pushdown systems
• Operator precedence temporal logic and model checking
• Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization
• Model Checking Procedural Programs
• First-Order and Temporal Logics for Nested Words
• Tools and Algorithms for the Construction and Analysis of Systems
• Syntactic Analysis and Operator Precedence
• Parsing Techniques
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Verification of programs with exceptions through operator precedence automata