Verifying Real-time
Refinements
Citation:
|
J. Cohen and Anatol Slissenko, "On
Verification of Refinements of Asynchronous Timed Distributed
Algorithms". In Y. Gurevich, P. Kutter, M. Odersky, and L. Thiele,
eds., Abstract State Machines -- ASM 2000, International Workshop on
Abstract State Machines, Monte Verita, Switzerland, Local Proceedings,
TIK-Report 87, Swiss Federal Institute of Technology (ETH) Zurich,
March 2000, 100--114.
|
Summary:
| A study on verifying refinements of real-time distributed
asynchronous algorithms, specified using ASMs. The Bakery Algorithm is used as a case study.
|
Subjects:
| Abstract Algorithms,
Distributed Systems,
Real-Time Systems,
Verification
|
Download:
| PostScript,
PDF,
Compressed PostScript
|
Notes:
|
|
[an error occurred while processing this directive]