On lazy soundness of robustness diagram with loop and time controls
This study formalizes the notion of lazy soundness in Robustness Diagrams with Loop and Time controls (RDLT's), particularly in the context of systems exhibiting parallel activities. Lazy soundness is a relaxation of classical soundness that tolerates the non-completion of certain concurrent ac...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | English |