We use TLA to specify and check whether our algorithms are safe.

In order to check the specifications, we use TLA 's community modules. To use the modules, please install Java 9 or later. Pass required modules to Java by using -cp option when you try these files. See tlaplus_community_jar for more information.

• Single Threaded Callback Execution
• crate::dela_list
• crate::helper::InitOnce