On compositionality and its limitations

DOI10.1145/1182613.1182617zbMath1367.68202OpenAlexW2105348917MaRDI QIDQ5277769

Alexander Rabinovich

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1182613.1182617

zbMATH Keywords

modal logiccompositional verificationcomposition methodsFeferman-Vaught theorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Applications of model theory (03C98)

Related Items (5)

Compositional Failure Detection in Structured Transition Systems ⋮ The Complexity of Decomposing Modal and First-Order Theories ⋮ Model Checking Parameterised Multi-token Systems via the Composition Method ⋮ The Compositional Method and Regular Reachability ⋮ Model Checking FO(R) over One-Counter Processes and beyond

This page was built for publication: On compositionality and its limitations