To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
Diagram-Based Verification of Real-Time Systems using Timed Predicate Diagrams |
|
Author |
|
| Citation |
Vol. 6 No. 12 pp. 18-27 |
|
Keywords |
Reactive systems, real-time systems, verification, TLA, predicate diagrams. |
|
Title |
Formal Verification of Ring-based Leader Election Protocol using Predicate Diagrams |
|
Author |
|
| Citation |
Vol. 9 No. 8 pp. 1-8 |
|
Keywords |
Leader election protocol, distributed systems, verification, TLA* TLA+, predicate diagrams* |
