Property-oriented expansion

DOI10.1007/3-540-61739-6_31zbMath1482.68095OpenAlexW1604147565MaRDI QIDQ5030184

Bernhard Steffen

Publication date: 16 February 2022

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61739-6_31

zbMATH Keywords

optimizationmodal logictransition systemsdata flow analysispartial redundancy eliminationprogram expansionpartially dead code elimination

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Combining Model Checking and Data-Flow Analysis, Generative program analysis and beyond: the power of domain-specific languages (invited paper)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Results on the propositional \(\mu\)-calculus
• An efficient general iterative algorithm for dataflow analysis
• Local model checking for infinite state spaces
• Characteristic formulae for processes with divergence
• Generating data flow analysis algorithms from modal specifications
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• A lattice-theoretical fixpoint theorem and its applications
• Grammar Analysis and Parsing by Abstract Interpretation
• Synthesis of Communicating Processes from Temporal Logic Specifications
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• The complexity of propositional linear temporal logics
• Global optimization by suppression of partial redundancies
• Data flow analysis as model checking