Composition and verification of formal behaviors
In this thesis, we present a platform and a tool support for formal modeling, automated composition, and formal verification of partial system behaviors defined as Use Case Automata (UCAs). Based on research works [24, 31, 32], the Use case Composition, Modeling and Verification (UCOMV) is presented...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2008
|
| Online Access: | http://spectrum.library.concordia.ca/976024/1/MR42532.pdf Kolahi, Siamak <http://spectrum.library.concordia.ca/view/creators/Kolahi=3ASiamak=3A=3A.html> (2008) Composition and verification of formal behaviors. Masters thesis, Concordia University. |