Login / Signup

Compositional Verification of Architectural Models.

Darren D. CoferAndrew GacekSteven P. MillerMichael W. WhalenBrian LaValleyLui Sha
Published in: NASA Formal Methods (2012)
Keyphrases
  • architectural models
  • behavioral models
  • model checking
  • decision making
  • case study
  • design patterns