Chapter 13. Design Verification with State Invariants

  1. Kevin Lano
  1. Emil Sekerinski

Published Online: 19 OCT 2009

DOI: 10.1002/9780470522622.ch13

UML 2 Semantics and Applications

UML 2 Semantics and Applications

How to Cite

Sekerinski, E. (2009) Design Verification with State Invariants, in UML 2 Semantics and Applications (ed K. Lano), John Wiley & Sons, Inc., Hoboken, NJ, USA. doi: 10.1002/9780470522622.ch13

Editor Information

  1. Department of Computer Science, King's College London, London, UK

Author Information

  1. Department of Computing and Software, McMaster University, Hamilton, Ontario, Canada

Publication History

  1. Published Online: 19 OCT 2009
  2. Published Print: 19 OCT 2009

ISBN Information

Print ISBN: 9780470409084

Online ISBN: 9780470522622


Options for accessing this content:

  • If you are a society or association member and require assistance with obtaining online access instructions please contact our Journal Customer Services team.
  • Login via other institutional login options
  • You can purchase online access to this Chapter for a 24-hour period (price varies by title)
    • If you already have a Wiley Online Library or Wiley InterScience user account: login above and proceed to purchase the article.
    • New Users: Please register, then proceed to purchase the article.

Login via OpenAthens


Search for your institution's name below to login via Shibboleth.

Please register to:

  • Save publications, articles and searches
  • Get email alerts
  • Get all the benefits mentioned below!

Register now >