Automated verification of Classical Soundness in Robustness Diagrams with Loop and Time Controls via L-safeness
This study addresses the absence of automated tools for verifying Classical Soundness in Robustness Diagrams with Loop and Time Controls. It introduces a novel verification approach based on structural and behavioral analysis, with a particular focus on L-safeness. A pre-processing algorithm transfo...
| Autore principale: | |
|---|---|
| Altri autori: | |
| Natura: | Tesi |
| Lingua: | English |
| Soggetti: |