Login / Signup

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

Yael MellerOrna GrumbergSharon Shoham
Published in: ATVA (2009)
Keyphrases
  • multi valued
  • probabilistic model
  • complex valued
  • np hard
  • database
  • data model
  • model checking