Verification of UML models by translation to UML-B
UML-B is a 'UML like' notation based on the Event-B formalism which allows models to be progressively detailed through refinements that are proven to be consistent and to satisfy safety invariants using the Rodin platform and its automatic proof tools. UML, on the other hand, encourages la...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
2011.
|
Subjects: | |
Online Access: | Get fulltext |