A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement

DOI10.1007/978-3-642-04761-9_21zbMath1262.68127OpenAlexW1574267655MaRDI QIDQ3648705

Yael Meller, Sharon Shoham, Orna Grumberg

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)

Related Items (2)

Abstraction and Abstraction Refinement ⋮ A framework for compositional verification of multi-valued systems via abstraction-refinement

Uses Software

• YASM

This page was built for publication: A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement