Abstract | ||
---|---|---|
Performance analysis and formal correctness verificationof computer communication protocols and distributedsystems have traditionally been considered astwo separate fields. However, their integration canbe achieved by using formal description techniques asparadigms for performance modeling. This paper investigatesthe possibility of using LOTOS, one of thetwo formal specification languages that have been standardizedby ISO, as the formal basis for performancemodeling. A LOTOS extension... |
Year | DOI | Venue |
---|---|---|
1994 | 10.1109/MASCOT.1994.284408 | MASCOTS |
Keywords | Field | DocType |
lotos-based design,integrating peforamnce analysis,specification language,communication protocol,protocols,distributed system,formal verification,formal specification | Specification language,Programming language,Computer science,Correctness,Formal specification,Language Of Temporal Ordering Specification,Refinement,Probabilistic logic,Formal methods,Formal verification | Conference |
ISBN | Citations | PageRank |
0-8186-5292-6 | 3 | 0.54 |
References | Authors | |
7 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marco Ajmone Marsan | 1 | 2588 | 322.69 |
Andrea Bianco | 2 | 289 | 28.31 |
Luigi Ciminiera | 3 | 196 | 27.04 |
Riccardo Sisto | 4 | 556 | 56.79 |
Adriano Valenzano | 5 | 535 | 58.77 |
Ajmone Marsan, M. | 6 | 375 | 34.41 |