A framework for compositional verification of multi-valued systems via abstraction-refinement

DOI10.1007/978-3-642-04761-9_21MaRDI QIDQ3648705zbMATH OpenOpenAlexFDO

Authors Yael Meller, Orna Grumberg, Sharon Shoham

Publication date 1 December 2009

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04761-9_21

Mathematics Subject Classification ID

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

Recommendations

• A framework for compositional verification of multi-valued systems via abstraction-refinement
• Don't know for multi-valued systems
• Compositional Verification and 3-Valued Abstractions Join Forces
• Compositional verification and 3-valued abstractions join forces
• 2-valued and 3-valued abstraction-refinement in model checking

Cited in

(6)

• Compositional verification and 3-valued abstractions join forces
• A framework for compositional verification of multi-valued systems via abstraction-refinement
• Abstraction and abstraction refinement
• Bonsai: cutting models down to size
• Compositional Verification and 3-Valued Abstractions Join Forces
• Don't know for multi-valued systems

Describes a project that uses

Uses Software

• YASM

This page was built for publication: A framework for compositional verification of multi-valued systems via abstraction-refinement

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