Data flow analysis as model checking

DOI10.1007/3-540-54415-1_54zbMath1493.68123OpenAlexW1519861553MaRDI QIDQ5096226

Bernhard Steffen

Publication date: 16 August 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-54415-1_54

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

A Branching Time Variant of CaRet ⋮ Unifying models ⋮ Generative program analysis and beyond: the power of domain-specific languages (invited paper) ⋮ Property-oriented expansion

Cites Work

• Results on the propositional \(\mu\)-calculus
• A denotational framework for data flow analysis
• A linear-time model-checking algorithm for the alternation-free modal mu- calculus
• A lattice-theoretical fixpoint theorem and its applications
• Global optimization by suppression of partial redundancies
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Data flow analysis as model checking