Fighting the State Explosion Problem in Component Protocols
In complex software component systems, it is desirable to verify the correctness of the composition before deployment. To achieve a trustworthy composition, the behavior of components is formally described and the composition is veri ed against communication errors. Unfortunately, the number of stat...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Doctoral Thesis |
| Language: | English |
| Published: |
2007
|
| Online Access: | http://www.nusl.cz/ntk/nusl-289587 |