19 lines
683 B
Plaintext
19 lines
683 B
Plaintext
@startuml
|
|
skinparam backgroundColor transparent
|
|
skinparam shadowing false
|
|
skinparam defaultFontName Monospace
|
|
skinparam defaultFontSize 12
|
|
skinparam rectangleBorderColor #2c7794
|
|
skinparam rectangleBackgroundColor #edf6fa
|
|
title A4 APPLICATION — behavior parity is part of the proof
|
|
rectangle "01 dynamic worker\nreceive 0xCAFE\nstart dynamic timer" as dyn
|
|
rectangle "02 static worker\nreceive 0xCAFE\nstart static timer" as stat
|
|
rectangle "03 timer daemon\ndynamic callback = 1\nstatic callback = 1" as daemon
|
|
rectangle "04 verifier\nmessage parity\ncallback parity\ndistinct stacks" as verify
|
|
dyn --> daemon
|
|
stat --> daemon
|
|
dyn --> verify
|
|
stat --> verify
|
|
daemon --> verify
|
|
@enduml
|