Login / Signup

Formal Verification for Components and Connectors.

Christel BaierTobias BlechmannJoachim KleinSascha Klüppelholz
Published in: FMCO (2008)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • symbolic model checking
  • automated verification
  • bounded model checking
  • building blocks
  • database
  • artificial intelligence
  • temporal logic
  • formal specification