Compositional Verification and 3-Valued Abstractions Join Forces

DOI10.1007/978-3-540-74061-2_5MaRDI QIDQ3611995zbMATH OpenOpenAlexFDO

Authors Sharon Shoham, Orna Grumberg

Publication date 3 March 2009

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74061-2_5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Compositional verification and 3-valued abstractions join forces
• A framework for compositional verification of multi-valued systems via abstraction-refinement
• A framework for compositional verification of multi-valued systems via abstraction-refinement
• 2-valued and 3-valued abstraction-refinement in model checking
• scientific article; zbMATH DE number 3880084
• A bounded model checker for three-valued abstractions of concurrent software systems
• Abstraction and composition: a verification method for co-operating systems
• Compositional Verification for Component-Based Systems and Application
• A compositional approach to CTL^* verification

Cited in

(7)

• Local proofs for global safety properties
• To compose, or not to compose, that is the question: an analysis of compositional state space generation
• Compositional verification and 3-valued abstractions join forces
• A framework for compositional verification of multi-valued systems via abstraction-refinement
• Abstraction and abstraction refinement
• A framework for compositional verification of multi-valued systems via abstraction-refinement
• Compositional abstraction for stochastic systems

This page was built for publication: Compositional Verification and 3-Valued Abstractions Join Forces

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