http://workcraft.org/ 2026-05-02T02:06:28+00:00 http://workcraft.org/ http://workcraft.org/_media/logo.svg text/html 2021-09-21T09:10:44+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/tutorial/method/handshake_verification/start?rev=1632215444&do=diff Handshakes Verification It is common to use handshakes for the communication between modules in asynchronous systems. This tutorial discusses the common pitfalls in using handshakes, and explains how to use the Handshake Wizard in Workcraft to formally verify handshakes. It focuses on control handshakes, and so does not deal with the data validity.