Verified the security of the Syncthing distributed file-sharing protocols using formal verification tools.