About this document
Formal Verification of SCA with EVENT-B by Aida Lahouij is a document available to read on EtoBox.
The document discusses the formal verification of the Service Component Architecture (SCA) assembly model using the Event-B method. It outlines the motivations for this approach, the formalization process, and the development of the SCA2B plug-in for modeling and verification. The conclusion highlights future perspectives for further formalization and extension of the plug-in.
- Author
- Aida Lahouij
- Language
- EN